BibTeX record conf/aaai/CimattiMR17

• > Home > conf/aaai/CimattiMR17

@inproceedings{DBLP:conf/aaai/CimattiMR17,
  author       = {Alessandro Cimatti and
                  Andrea Micheli and
                  Marco Roveri},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Validating Domains and Plans for Temporal Planning via Encoding into
                  Infinite-State Linear Temporal Logic},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {3547--3554},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11018},
  doi          = {10.1609/AAAI.V31I1.11018},
  timestamp    = {Mon, 04 Sep 2023 16:50:23 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CimattiMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}