Experimental Evaluation of a Planning Language Suitable for Formal Verification (2008)

by R I Siminiceanu, R W Butler, C A Munoz
Venue:In Proceedings of the Fifth International Workshop on Model Checking and Artificial Intelligence