Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.
Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha
VenueA*AAAI
Year2016
ProceedingsAAAI Workshop: Planning for Hybrid Systems
DBLP recordconf/aaai/ToRAJA16 ↗
Browse the full AAAI paper archive.