(NASA Ames Research Center, Moffett Field, California, USA)
Model-based verification and validation for procedure authoring. [PDF]
Paper by: Guillaume Brat, Dimitra Gannakopoulou, Michel Izygon, Emmy Alex, Lui Wang, Jeremy Frank, and Arthur Molin.
Mark D. Johnston
(Jet Propulsion Laboratory, Pasadena, California, USA)
Verification and validation of a deep space network scheduling application. [PDF]
Paper by: Mark D. Johnston and Daniel Tran.
(University of Strathclyde, Glasgow, UK)
Planning domains and plans: validation, verification and analysis. [PDF]
Paper by: Derek Long, Maria Fox, and Richard Howey.
(Ricerca Scientifica e Tecnologica, Trento, Italy)
A comprehensive approach to on-board autonomy verification and validation. [PDF]
Paper by: Marco Bozzano, Alessandro Cimatti, Marco Roveri, and Andrei Tchaltsev.
On the use of planning technology for veriﬁcation. [PDF]
Aws Albarghouthi, Jorge A. Baier, and Sheila A. McIlraith.
Verifying flexible timeline-based plans. [PDF]
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci.
Verified planning by deductive synthesis in intuitionistic linear logic. [PDF]
Lucas Dixon, Alan Smaill, and Alan Bundy.
Verifying equivalence of procedures in different languages: preliminary results. [PDF]
David J. Musliner, Michael J. S. Pelican, and Peter J. Schlette.
Plan proximity: an enhanced metric for plan stability. [PDF]
Pedro Patron and Alexandra Birch.
PDVer, a tool to verify PDDL planning domains. [PDF]
Franco Raimondi, Charles Pecheur, and Guillaume Brat.
Finding plans with branches, loops and preconditions. [PDF]
Siddharth Srivastava, Neil Immerman, and Shlomo Zilberstein.