Experiment on Verification of a Planetary Rover Controller     A. Akhavan akhavan@imag.fr   S. Bensalem bensalem@imag.fr M. Bozga bozga@imag.fr E. Orfanidou orfanido@imag.fr Commentary by Marco Pistore   Mission Planning and Execution within the Mission Data System     Anthony Barrett Anthony.Barrett@jpl.nasa.gov   Russell Knight Russell.Knight@jpl.nasa.gov Richard Morris Richard.Morris@jpl.nasa.gov Robert Rasmussen Robert.Rasmussen@jpl.nasa.gov Commentary by Maria Fox   The Evolution of the FUSE Spike Long Range Planning System     H.M. Calvani calvani@pha.jhu.edu   A.F. Berman aberman@pha.jhu.edu W.P. Blair wpb@pha.jhu.edu J.R. Caplinger caplingr@pha.jhu.edu M.N. England england@pha.jhu.edu B.A. Roberts broberts@pha.jhu.edu R. Hawkins rhawkins@stsci.edu N. Ferdous ferdous@stsci.edu T. Krueger kruger@stsci.edu Commentary by Michael Schmidt   Validating Autonomous EO-1 Science Agent     Benjamin Cichy Benjamin.Cichy@jpl.nasa.gov   Steve Chien Steve.Chien@jpl.nasa.gov Steve Schaffer Steve.Schaffer@jpl.nasa.gov Daniel Tran Daniel.Tran@jpl.nasa.gov Gregg Rabideau Gregg.Rabideau@jpl.nasa.gov Rob Sherwood Rob.Sherwood@jpl.nasa.gov Commentary by Werner Stephan   Argumentation for Coordinating Shared Activities     Bradley J. Clement bclement@aig.jpl.nasa.gov   Anthony C. Barrett barrett@aig.jpl.nasa.gov Steve R. Schaffer srschaff@aig.jpl.nasa.gov Commentary by Mario Merri   An Anytime Planning Approach for the Management of an Earth Watching Satellite     Sylvain Damiani Sylvain.Damiani@onera.fr   Gerard Verfaillie Gerard.Verfaillie@laas.fr Marie Claire Charmeau Marie-Claire.Charmeau@cnes.fr Commentary by Mark Giuliano   Onboard Planning for Geological Investigations using a Rover Team     Tara Estlin Tara.Estlin@jpl.nasa.gov   Daniel Gaines Daniel.Gaines@jpl.nasa.gov Forest Fisher Forest.Fisher@jpl.nasa.gov Rebecca Castaño Rebecca.Castano@jpl.nasa.gov Commentary by Eric Bornschlegl   Robust Local Search for Spacecraft Operations using Adaptive Noise     Alex Fukunaga Alex.Fukunaga@jpl.nasa.gov   Gregg Rabideau Gregg.Rabideau@jpl.nasa.gov Steve Chien Steve.Chien@jpl.nasa.gov Commentary by Marcelo Oglietti   Maximally Expressive Model     John Jaap John.Jaap@nasa.gov   Elizabeth Davis Lea Richardson Commentary by Tim Grant   Optimal Nadir Observation Scheduling     Russell Knight Russell.Knight@jpl.nasa.gov   Ben Smith Ben.Smitht@jpl.nasa.gov Commentary by Paolo Ferri   Task Swapping: Making Space in Schedules for Space     Laurence A. Kramer lkramer@cs.cmu.edu   Stephen F. Smith sfs@cs.cmu.edu Commentary by Frank Diekmann   Interleaving Temporal Planning and Execution for an Autonomous Rover     Solange Lemai slemai@laas.fr   Felix Ingrand felix@laas.fr Commentary by Thomas Starbird   Strategies for Global Optimization of Temporal Preferences     Paul Morris pmorris@email.arc.nasa.gov   Robert Morris Lina Khatib Sailesh Ramakrishnan Commentary by Mark Boddy   Planning the Galileo Mission     Marc Niezette Marc.Niezette@anite.com   Sonia Toribio Sonia.Toribio@esa.int Mario Merri Mario.Merri@esa.int Angela Birthwhistle Angela.Birthwhistle@esa.int Manfred Lugert Manfred.Lugert@esa.int Sandro Matussi Sandro.Matussi@esa.int Commentary by Sanford M. Krasner   A Max-Flow Approach for Improving Robustness in a Spacecraft Downlink Schedule     Angelo Oddi a.oddi@istc.cnr.it   Nicola Policella policella@istc.cnr.it Commentary by Gregg Rabideau   Mission Operations with Autonomy: A preliminary report for Earth Observing-1     Gregg Rabideau Gregg.Rabideau@jpl.nasa.gov   Steve Chien Steve.Chien@jpl.nasa.gov Rob Sherwood Rob.Sherwood@jpl.nasa.gov Daniel Tran Daniel.Tran@jpl.nasa.gov Benjamin Cichy Benjamin.Cichy@jpl.nasa.gov Dan Mandl Dan.Mandl@gsfc.nasa.gov Stuart Frye Stuart.Frye@gsfc.nasa.gov Seth Shulman Seth.Shulman@gfsc.nasa.gov Robert Bote Robert.Bote@gfsc.nasa.gov Joseph Szwaczkowski Joseph.Szwaczkowski@gfsc.nasa.gov Darrell Boyer dboyer@interfacecontrol.com Jim Van Gaasbeck jimv@interfacecontrol.com Commentary by David Jameux   Probabilistic Reasoning for Robust Plan Execution     Steve Schaffer Steve.Schaffer@jpl.nasa.gov   Steve Chien Steve.Chien@jpl.nasa.gov Bradley Clement Bradley.Clement@jpl.nasa.gov Commentary by Richard van Holtz   Planning and Representation of Joint Human-Agent Space Missions via Constraint-based Models     Clauirton Siebra c.siebra@ed.ac.uk   Austin Tate a.tate@ed.ac.uk Natasha Queiroz Lino Natasha.Queiroz@ed.ac.uk Commentary by Juergen Fay