Conformant Planning via
Symbolic Model Checking and Heuristic Search

You can download here the experimental evaluation for MBP, presented in the paper "Conformant Planning via Symbolic Model Checking and Heuristic Search", by A. Cimatti, M.Roveri and P. Bertoli, to appear in Journal of Artificial intelligence.

For every question or clarification, please contact us.