%0 Conference Paper %1 conf/dac/ShaCJZYLTCL21 %A Sha, Meng %A Chen, Xin %A Ji, Yuzhe %A Zhao, Qingye %A Yang, Zhengfeng %A Lin, Wang %A Tang, Enyi %A Chen, Qiguang %A Li, Xuandong %B DAC %D 2021 %I IEEE %K dblp %P 631-636 %T Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. %U http://dblp.uni-trier.de/db/conf/dac/dac2021.html#ShaCJZYLTCL21 %@ 978-1-6654-3274-0

@inproceedings{conf/dac/ShaCJZYLTCL21, added-at = {2021-12-02T00:00:00.000+0100}, author = {Sha, Meng and Chen, Xin and Ji, Yuzhe and Zhao, Qingye and Yang, Zhengfeng and Lin, Wang and Tang, Enyi and Chen, Qiguang and Li, Xuandong}, biburl = {https://www.bibsonomy.org/bibtex/239a24e67a286eee9dab54ca9ae95911b/dblp}, booktitle = {DAC}, crossref = {conf/dac/2021}, ee = {https://doi.org/10.1109/DAC18074.2021.9586327}, interhash = {86c6479fdf9e52e6273298db3cd579fb}, intrahash = {39a24e67a286eee9dab54ca9ae95911b}, isbn = {978-1-6654-3274-0}, keywords = {dblp}, pages = {631-636}, publisher = {IEEE}, timestamp = {2024-04-10T01:57:41.000+0200}, title = {Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2021.html#ShaCJZYLTCL21}, year = 2021 }