Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.

Alessandro Cimatti, Marco Roveri, Paolo Traverso

Browse the full AAAI paper archive.