%0 Conference Paper %1 conf/hybrid/ZhaoZC020 %A Zhao, Hengjun %A Zeng, Xia %A Chen, Taolue %A Liu, Zhiming %B HSCC %D 2020 %E Ames, Aaron D. %E Seshia, Sanjit A. %E Deshmukh, Jyotirmoy %I ACM %K dblp %P 25:1-25:11 %T Synthesizing barrier certificates using neural networks. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2020.html#ZhaoZC020 %@ 978-1-4503-7018-9

@inproceedings{conf/hybrid/ZhaoZC020, added-at = {2024-09-02T00:00:00.000+0200}, author = {Zhao, Hengjun and Zeng, Xia and Chen, Taolue and Liu, Zhiming}, biburl = {https://www.bibsonomy.org/bibtex/2f90fdcb846e9a64238b0f8208d27aaf5/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2020}, editor = {Ames, Aaron D. and Seshia, Sanjit A. and Deshmukh, Jyotirmoy}, ee = {https://doi.org/10.1145/3365365.3382222}, interhash = {111f3b8570a793f06634789a15baa644}, intrahash = {f90fdcb846e9a64238b0f8208d27aaf5}, isbn = {978-1-4503-7018-9}, keywords = {dblp}, pages = {25:1-25:11}, publisher = {ACM}, timestamp = {2024-09-09T07:18:43.000+0200}, title = {Synthesizing barrier certificates using neural networks.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2020.html#ZhaoZC020}, year = 2020 }