BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-293057, author = {Phan, Dung and Grosu, Radu and Jansen, Nils and Paoletti, Nicola and Smolka, Scott A. and Stoller, Scott D.}, title = {Neural simplex architecture}, booktitle = {Neural simplex architecture}, year = {2020}, pages = {97--114}, publisher = {Springer}, address = {.}, url = {https://publik.tuwien.ac.at/files/publik_293057.pdf}, isbn = {978-3-030-55754-6}, note = {talk: NASA Formal Methods (NFM), virtuell; 2020-05-11 -- 2020-05-15} } 1 Datensatz ausgegeben