%0 Generic %1 Bertoli01b %A Bertoli, Piergiorgio %A Cimatti, Alessandro %A Pistore, Marco %A Roveri, Marco %A Traverso, Paolo %D 2001 %K model-checking, planning %T MBP: a Model Based Planner %U http://citeseer.ist.psu.edu/bertoli01mbp.html %X The Model Based Planner (MBP) is a system for planning in non-deterministic domains. It can generate plans automatically to solve various planning problems, like conformant planning, planning under partial observability, and planning for temporally extended goals. Moreover, MBP can validate plans, and offers a variety of simulation functionalities for plans and domains. MBP is based on Symbolic Model Checking techniques, and Binary Decision Diagrams (BDDs), that provide a practical solution to...

@misc{Bertoli01b, abstract = {{The Model Based Planner (MBP) is a system for planning in non-deterministic domains. It can generate plans automatically to solve various planning problems, like conformant planning, planning under partial observability, and planning for temporally extended goals. Moreover, MBP can validate plans, and offers a variety of simulation functionalities for plans and domains. MBP is based on Symbolic Model Checking techniques, and Binary Decision Diagrams (BDDs), that provide a practical solution to...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {Bertoli, Piergiorgio and Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/20bb4d9bb5e7106d1067b40df97678827/baisemain}, citeulike-article-id = {1402238}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/bertoli01mbp.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/bertoli01mbp.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/bertoli01mbp.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/bertoli01mbp.html}, interhash = {1949d346f1420e55f28115a27f2d098f}, intrahash = {0bb4d9bb5e7106d1067b40df97678827}, keywords = {model-checking, planning}, posted-at = {2007-06-21 11:48:28}, priority = {2}, timestamp = {2011-05-04T16:04:37.000+0200}, title = {{MBP: a Model Based Planner}}, url = {http://citeseer.ist.psu.edu/bertoli01mbp.html}, year = 2001 }