aaai91

aaai 2016 论文列表

Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016.

Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents.

Martina Troesch Steve A. Chien Yi Chao John D. Farrara

Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.

Tony T. Tran Zhihui Wang Minh Do Eleanor Gilbert Rieffel Jeremy Frank Bryan O'Gorman Davide Venturelli J. Christopher Beck

Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.

Son Thanh To Mark Roberts Thomas Apker Benjamin Johnson David W. Aha

SMT-Based Reasoning for Uncertain Hybrid Domains.

Fedor Shmarov Paolo Zuliani

Heuristic Planning for PDDL+ Domains.

Wiktor Mateusz Piotrowski Maria Fox Derek Long Daniele Magazzeni Fabio Mercorio

Planning, Scheduling and Monitoring for Airport Surface Operations.

Robert Morris Corina S. Pasareanu Kasper Søe Luckow Waqar Malik Hang Ma T. K. Satish Kumar Sven Koenig

Planning in Dynamic Environments Through Temporal Logic Monitoring.

Bardh Hoxha Georgios Fainekos

An Architecture for Hybrid Planning and Execution.

Robert P. Goldman Daniel Bryce Michael J. S. Pelican David J. Musliner Kyungmin Bae

A Compilation of the Full PDDL+ Language into SMT.

Michael Cashmore Maria Fox Derek Long Daniele Magazzeni

A Happening-Based Encoding for Nonlinear PDDL+ Planning.

Daniel Bryce