BibTeX record conf/aaai/ToRAJA16

download as .bib file

@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}
}