Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.
S. To, M. Roberts, T. Apker, B. Johnson, and D. Aha. AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/aaai/ToRAJA16
%A To, Son Thanh
%A Roberts, Mark
%A Apker, Thomas
%A Johnson, Benjamin
%A Aha, David W.
%B AAAI Workshop: Planning for Hybrid Systems
%D 2016
%E Magazzeni, Daniele
%E Sanner, Scott
%E Thiébaux, Sylvie
%I AAAI Press
%K dblp
%T Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.
%U http://dblp.uni-trier.de/db/conf/aaai/hybrid2016.html#ToRAJA16
%V WS-16-12
@inproceedings{conf/aaai/ToRAJA16,
added-at = {2023-09-05T00:00:00.000+0200},
author = {To, Son Thanh and Roberts, Mark and Apker, Thomas and Johnson, Benjamin and Aha, David W.},
biburl = {https://www.bibsonomy.org/bibtex/25e1a5d4b64f6d06a394171087bb1324e/dblp},
booktitle = {AAAI Workshop: Planning for Hybrid Systems},
crossref = {conf/aaai/2016hybrid},
editor = {Magazzeni, Daniele and Sanner, Scott and Thiébaux, Sylvie},
ee = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12674},
interhash = {e36b5a516d842bef21b9868ab2166665},
intrahash = {5e1a5d4b64f6d06a394171087bb1324e},
keywords = {dblp},
note = {978-1-57735-759-9},
publisher = {AAAI Press},
series = {AAAI Technical Report},
timestamp = {2024-04-09T18:12:05.000+0200},
title = {Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.},
url = {http://dblp.uni-trier.de/db/conf/aaai/hybrid2016.html#ToRAJA16},
volume = {WS-16-12},
year = 2016
}