RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
Authors: Eric Goubault and Sylvie Putot
Paper Information
| Title: | RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems |
| Authors: | Eric Goubault and Sylvie Putot |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Reachability analysis, Neural networks verification, Robustness, Inner-approximation |
| Pages: | 13 |
| Talk: | Aug 08 15:00 (Session 97A: Formal Methods for Hardware, Cyber-Physical and Hybrid Systems) |
| Paper: |  |