Planning for Hybrid Systems
Papers from the 2016 AAAI Workshop
aniele Magazzeni, Scott Sanner, Sylvie Thiébaux, Cochairs
AAAI Technical Report WS-16-12
This technical report was published as part of The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Technical Reports WS-16-01 – WS-16-15 by The AAAI Press, Palo Alto, California
Contents
A Happening-Based Encoding for Nonlinear PDDL+ Planning
Daniel Bryce
A Compilation of the Full PDDL+ Language into SMT
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
An Architecture for Hybrid Planning and Execution
Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
Planning in Dynamic Environments Through Temporal Logic Monitoring
Bardh Hoxha, Georgios Fainekos
Planning, Scheduling and Monitoring for Airport Surface Operations
Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
Heuristic Planning for PDDL+ Domains
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
SMT-Based Reasoning for Uncertain Hybrid Domains
Fedor Shmarov, Paolo Zuliani
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning
Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents
Martina Troesch, Steve Chien, Yi Chao, John Farrara
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.