


default search action
BibTeX record conf/aaai/ToRAJA16
@inproceedings{DBLP:conf/aaai/ToRAJA16, author = {Son Thanh To and Mark Roberts and Thomas Apker and Benjamin Johnson and David W. Aha}, editor = {Daniele Magazzeni and Scott Sanner and Sylvie Thi{\'{e}}baux}, title = {Mixed Propositional Metric Temporal Logic: {A} New Formalism for Temporal Planning}, booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona, USA, February 13, 2016}, series = {{AAAI} Technical Report}, volume = {{WS-16-12}}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12674}, timestamp = {Tue, 05 Sep 2023 16:57:15 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ToRAJA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.