Formal Validation of Neural Networks as Timed Automata

@inproceedings{snn-ta-csbio17,
   acm = {3156350},
   address = {New York, NY, USA},
   apice = {SnnTaCsbio17},
   author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
   booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
   doi = {10.1145/3156346.3156350},
   iris = {11585/618763},
   isbn = {978-1-4503-5350-2},
   keywords = {Neural networks, Leaky Integrate and Fire Model, Timed Automata, Temporal Logic, Model Checking},
   location = {Nha Trang City, Viet Nam},
   numpages = 8,
   pages = {15--22},
   publisher = {ACM},
   series = {CSBio '17},
   title = {Formal Validation of Neural Networks As Timed Automata},
   url = {http://doi.acm.org/10.1145/3156346.3156350},
   year = 2017
}