September 19-20, 2009 Thessaloniki, Greece (within ICAPS 2009) | organised and funded by ARTIST |
8:50 | Welcome |
9:00 | Invited Talk Guillaume Brat (NASA Ames Research Center, California, USA) Model-Based Verification and Validation for Procedure Authoring Paper by: Guillaume Brat, Dimitra Gannakopoulou, 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 | coffee break |
11:00 | 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 | lunch |
14:00 | 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 | coffee break |
16:00 | 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 |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009