Roberts, Mark, Naval Research Laboratory, United States
-
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence - Planning for Hybrid Systems
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning
Abstract PDF