@inproceedings{tacas-SunM22,
  author       = {Dawei Sun and
                  Sayan Mitra},
  title        = {NeuReach: Learning Reachability Functions from Simulations},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  pages        = {322--337},
  year         = {2022},
}