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

Has publishing details pp. 875-881, 1998

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

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai98.html#CimattiRT98

Has where published AAAI/IAAI

Has year 1998

Has author Alessandro Cimatti +, Marco Roveri +, Paolo Traverso +

Has identifier Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains +

Categories Proceeding Paper +