Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/BertoliCR01, title={Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning}, pages={467-472}, year={2001}, crossref={DBLP:conf/ijcai/2001}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#BertoliCR01}, author={Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Heuristic_Search_%2B_Symbolic_Model_Checking_%3D_Efficient_Conformant_Planning"
Personal tools