BibTeX record conf/iccps/WangZW0WY023

• > Home > conf/iccps/WangZW0WY023

@inproceedings{DBLP:conf/iccps/WangZW0WY023,
  author       = {Yixuan Wang and
                  Simon Sinong Zhan and
                  Zhilu Wang and
                  Chao Huang and
                  Zhaoran Wang and
                  Zhuoran Yang and
                  Qi Zhu},
  editor       = {Sayan Mitra and
                  Nalini Venkatasubramanian and
                  Abhishek Dubey and
                  Lu Feng and
                  Mahsa Ghasemi and
                  Jonathan Sprinkle},
  title        = {Joint Differentiable Optimization and Verification for Certified Reinforcement
                  Learning},
  booktitle    = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
                  USA, May 9-12, 2023},
  pages        = {132--141},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576841.3585919},
  doi          = {10.1145/3576841.3585919},
  timestamp    = {Wed, 27 Dec 2023 11:40:54 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/WangZW0WY023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}