BibTeX record conf/dac/ZhaoQRZZY24

• > Home > conf/dac/ZhaoQRZZY24

@inproceedings{DBLP:conf/dac/ZhaoQRZZY24,
  author       = {Hanrui Zhao and
                  Niuniu Qi and
                  Mengxin Ren and
                  Xia Zeng and
                  Zhenbing Zeng and
                  Zhengfeng Yang},
  editor       = {Vivek De},
  title        = {Neural Barrier Certificates Synthesis of NN-Controlled Continuous
                  Systems via Counterexample-Guided Learning},
  booktitle    = {Proceedings of the 61st {ACM/IEEE} Design Automation Conference, {DAC}
                  2024, San Francisco, CA, USA, June 23-27, 2024},
  pages        = {70:1--70:6},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649329.3658256},
  doi          = {10.1145/3649329.3658256},
  timestamp    = {Sat, 30 Nov 2024 21:10:01 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ZhaoQRZZY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}