BibTeX record conf/cdc/NilssonHCBRAGOPT14

• > Home > conf/cdc/NilssonHCBRAGOPT14

@inproceedings{DBLP:conf/cdc/NilssonHCBRAGOPT14,
  author       = {Petter Nilsson and
                  Omar Hussien and
                  Yuxiao Chen and
                  Ayca Balkan and
                  Matthias Rungger and
                  Aaron D. Ames and
                  Jessy W. Grizzle and
                  Necmiye Ozay and
                  Huei Peng and
                  Paulo Tabuada},
  title        = {Preliminary results on correct-by-construction control software synthesis
                  for adaptive cruise control},
  booktitle    = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
                  CA, USA, December 15-17, 2014},
  pages        = {816--823},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CDC.2014.7039482},
  doi          = {10.1109/CDC.2014.7039482},
  timestamp    = {Mon, 26 Jun 2023 20:42:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/NilssonHCBRAGOPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}