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.
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.
SMT-Based Reasoning for Uncertain Hybrid Domains.
Heuristic Planning for PDDL+ Domains.
Planning, Scheduling and Monitoring for Airport Surface Operations.
Planning in Dynamic Environments Through Temporal Logic Monitoring.
An Architecture for Hybrid Planning and Execution.
A Compilation of the Full PDDL+ Language into SMT.
A Happening-Based Encoding for Nonlinear PDDL+ Planning.