AAAI Workshop: Planning for Hybrid Systems

Keyphrases

Publications

2016

Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning. AAAI Workshop: Planning for Hybrid Systems (2016)
Daniel Bryce
A Happening-Based Encoding for Nonlinear PDDL+ Planning. AAAI Workshop: Planning for Hybrid Systems (2016)
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems (2016)
Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
Planning, Scheduling and Monitoring for Airport Surface Operations. AAAI Workshop: Planning for Hybrid Systems (2016)
Bardh Hoxha, Georgios Fainekos
Planning in Dynamic Environments Through Temporal Logic Monitoring. AAAI Workshop: Planning for Hybrid Systems (2016)
Martina Troesch, Steve A. Chien, Yi Chao, John D. Farrara
Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents. AAAI Workshop: Planning for Hybrid Systems (2016)
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem. AAAI Workshop: Planning for Hybrid Systems (2016)
Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshop: Planning for Hybrid Systems (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems (2016)
Fedor Shmarov, Paolo Zuliani
SMT-Based Reasoning for Uncertain Hybrid Domains. AAAI Workshop: Planning for Hybrid Systems (2016)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems (2016)