%0 Conference Paper %1 conf/tacas/SunM22 %A Sun, Dawei %A Mitra, Sayan %B TACAS (1) %D 2022 %E Fisman, Dana %E Rosu, Grigore %I Springer %K dblp %P 322-337 %T NeuReach: Learning Reachability Functions from Simulations. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#SunM22 %V 13243 %@ 978-3-030-99524-9

@inproceedings{conf/tacas/SunM22, added-at = {2022-04-29T00:00:00.000+0200}, author = {Sun, Dawei and Mitra, Sayan}, biburl = {https://www.bibsonomy.org/bibtex/2b7132c1394d5fb53d0b39da45d967897/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2022-1}, editor = {Fisman, Dana and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-030-99524-9_17}, interhash = {88f53ba88feaf63956150712406a6508}, intrahash = {b7132c1394d5fb53d0b39da45d967897}, isbn = {978-3-030-99524-9}, keywords = {dblp}, pages = {322-337}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:46.000+0200}, title = {NeuReach: Learning Reachability Functions from Simulations.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#SunM22}, volume = 13243, year = 2022 }