Published in
Springer, Lecture Notes in Computer Science, p. 207-222, 2024
DOI: 10.1007/978-3-031-60698-4_12
Links
Tools
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
Book chapter published in 2024 by
Federico Rossi 
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
Distributing this paper is prohibited by the publisher
Full text: Unavailable
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 