Invited Speakers
  • Guillaume Brat (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.

  • Derek Long (University of Strathclyde, Glasgow, UK)
    Planning domains and plans: validation, verification and analysis. [PDF]
    Paper by: Derek Long, Maria Fox, and Richard Howey.

  • Marco Roveri (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.

Accepted Papers
  • 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.