Session chair:
Lucas Dixon
Invited Talk Guillaume Brat (NASA Ames Research Center, California, USA)
Model-Based Verification and Validation for Procedure Authoring
Paper by: Guillaume Brat, Dimitra Giannakopoulou, Michel Izygon, Emmy Alex, Lui Wang, Jeremy Frank, and Arthur Molin

On the Use of Planning Technology for Verification
Aws Albarghouthi, Jorge A. Baier, and Sheila A. McIlraith

Verifying Flexible Timeline-Based Plans
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci
Coffee Break

Session chair:
Marco Roveri
Invited Talk Mark D. Johnston (Jet Propulsion Laboratory, California, USA)
Verification and Validation of a Deep Space Network Scheduling Application
Paper by: Mark D. Johnston and Daniel Tran

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic
Lucas Dixon, Alan Smaill, and Alan Bundy

Finding Plans with Branches, Loops and Preconditions
Siddharth Srivastava, Neil Immerman, and Shlomo Zilbersteinw

Session chair:
Andrea Orlandini
Invited Talk Derek Long (University of Strathclyde, Glasgow, UK)
Planning Domains and Plans: Validation, Verification and Analysis
Paper by: Derek Long, Maria Fox, and Richard Howey

Verifying Equivalence of Procedures in Different Languages: Preliminary Results
David J. Musliner, Michael J. S. Pelican, and Peter J. Schlette

Plan Proximity: an Enhanced Metric for Plan Stability
Pedro Patron and Alexandra Birch
Coffee Break

Session chair:
Derek Long
Invited Talk Marco Roveri (Ricerca Scientifica e Tecnologica, Trento, Italy)
A Comprehensive Approach to On-Board Autonomy Verification and Validation
Paper by: Marco Bozzano, Alessandro Cimatti, Marco Roveri, and Andrei Tchaltsev

PDVer, a Tool to Verify PDDL Planning Domains
Franco Raimondi, Charles Pecheur, and Guillaume Brat

Open Discussion on Future Directions

Each session consists of one 30 minute invited talk and two 30 minute regular presentations, except the last session which consists of one 30 minute invited talk, one 30 minute regular presentation and a 30 minute discussion on future directions.

  • Home
  • Committees
  • Call for Papers(PDF)
  • Paper submission
  • Program(PDF) (NEW)