Home»Publications»Using Classical Planners for Plan Verification and Counterexample Generation
Using Classical Planners for Plan Verification and Counterexample Generation
Goldman, R. P., Kuter, U., and Schneider, A. Using Classical Planners for Plan Verification and Counterexample Generation. AAAI-12: Proceedings of CP4PS-12 (July 2012).
