BibTeX record conf/hybrid/YangJT0HP21

• > Home > conf/hybrid/YangJT0HP21

@inproceedings{DBLP:conf/hybrid/YangJT0HP21,
  author       = {Xiaodong Yang and
                  Taylor T. Johnson and
                  Hoang{-}Dung Tran and
                  Tomoya Yamaguchi and
                  Bardh Hoxha and
                  Danil V. Prokhorov},
  editor       = {Sergiy Bogomolov and
                  Rapha{\"{e}}l M. Jungers},
  title        = {Reachability analysis of deep ReLU neural networks using facet-vertex
                  incidence},
  booktitle    = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, Nashville, Tennessee, May 19-21, 2021},
  pages        = {18:1--18:7},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3447928.3456650},
  doi          = {10.1145/3447928.3456650},
  timestamp    = {Wed, 19 May 2021 15:10:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/YangJT0HP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}