@inproceedings{phan2020neural,
  title={Neural Simplex Architecture},
  author={Dung Phan and Radu Grosu and Nils Jansen and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller},
  booktitle={NASA Formal Methods Symposium (NFM 2020)},
  	organization =  {Springer},
  url = {https://link.springer.com/chapter/10.1007%2F978-3-030-55754-6_6},
  doi = {10.1007/978-3-030-55754-6_6},
 	pages={97--114},
  year={2020}
}