VVPS 2009

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

Réalisation Axome - Création de sites Internet