![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
AAAI Workshop: Planning for Hybrid Systems 2016: Phoenix, Arizona, USA
- Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux:
Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-12, AAAI Press 2016 - Daniel Bryce:
A Happening-Based Encoding for Nonlinear PDDL+ Planning. - Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. - Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae:
An Architecture for Hybrid Planning and Execution. - Bardh Hoxha, Georgios Fainekos:
Planning in Dynamic Environments Through Temporal Logic Monitoring. - 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. - Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. - Fedor Shmarov, Paolo Zuliani:
SMT-Based Reasoning for Uncertain Hybrid Domains. - Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha:
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning. - 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. - Martina Troesch, Steve A. Chien, Yi Chao, John D. Farrara:
Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.