| 08:50-09:00 | |
| 09:00-10:30 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 |
| 10:30-11:00 | |
| 11:00-12:30 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 |
| 12:30-14:00 | |
| 14:00-15:30 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 |
| 15:30-16:00 | |
| 16:00-17:30 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.