BibTeX record conf/dac/ShaCJZYLTCL21

• > Home > conf/dac/ShaCJZYLTCL21

@inproceedings{DBLP:conf/dac/ShaCJZYLTCL21,
  author       = {Meng Sha and
                  Xin Chen and
                  Yuzhe Ji and
                  Qingye Zhao and
                  Zhengfeng Yang and
                  Wang Lin and
                  Enyi Tang and
                  Qiguang Chen and
                  Xuandong Li},
  title        = {Synthesizing Barrier Certificates of Neural Network Controlled Continuous
                  Systems via Approximations},
  booktitle    = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco,
                  CA, USA, December 5-9, 2021},
  pages        = {631--636},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DAC18074.2021.9586327},
  doi          = {10.1109/DAC18074.2021.9586327},
  timestamp    = {Thu, 02 Dec 2021 17:27:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShaCJZYLTCL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}