To, Son Thanh, Knexus Research Corporation, 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