BibTeX record conf/aips/ClaviereDS19

download as .bib file

@inproceedings{DBLP:conf/aips/ClaviereDS19,
  author    = {Arthur Clavi{\`{e}}re and
               Souradeep Dutta and
               Sriram Sankaranarayanan},
  title     = {Trajectory Tracking Control for Robotic Vehicles Using Counterexample
               Guided Training of Neural Networks},
  booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019.},
  pages     = {680--688},
  year      = {2019},
  crossref  = {DBLP:conf/aips/2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/article/view/3555},
  timestamp = {Thu, 12 Sep 2019 12:42:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/ClaviereDS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2019,
  editor    = {J. Benton and
               Nir Lipovetzky and
               Eva Onaindia and
               David E. Smith and
               Siddharth Srivastava},
  title     = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/issue/view/239},
  timestamp = {Wed, 17 Jul 2019 15:00:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics