Planning for Hybrid Systems
Papers
A Happening-Based Encoding for Nonlinear PDDL+ Planning
PDFA Compilation of the Full PDDL+ Language into SMT
PDFAn Architecture for Hybrid Planning and Execution
PDFPlanning in Dynamic Environments Through Temporal Logic Monitoring
PDFPlanning, Scheduling and Monitoring for Airport Surface Operations
PDFHeuristic Planning for PDDL+ Domains
PDFSMT-Based Reasoning for Uncertain Hybrid Domains
PDFMixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning
PDFExplorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem
PDFActive Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents
PDF