BibTeX record conf/hybrid/IvanovCWAPL20

• > Home > conf/hybrid/IvanovCWAPL20

@inproceedings{DBLP:conf/hybrid/IvanovCWAPL20,
  author       = {Radoslav Ivanov and
                  Taylor J. Carpenter and
                  James Weimer and
                  Rajeev Alur and
                  George J. Pappas and
                  Insup Lee},
  editor       = {Aaron D. Ames and
                  Sanjit A. Seshia and
                  Jyotirmoy Deshmukh},
  title        = {Case study: verifying the safety of an autonomous racing car with
                  a neural network controller},
  booktitle    = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
                  Computation and Control, Sydney, New South Wales, Australia, April
                  21-24, 2020},
  pages        = {28:1--28:7},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3365365.3382216},
  doi          = {10.1145/3365365.3382216},
  timestamp    = {Tue, 07 May 2024 20:12:16 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/IvanovCWAPL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}