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