Point of contact
- Alexandre Chapoutot (ENSTA Paris)
- Franck Delaplace (IBISC, UEVE)
Summary
Neural networks are an important class of algorithms used in autonomous systems or robots for perception or control. The size and the complexity of such neural networks represent a new challenge to apply formal methods on closed-loop systems. As a side effect, an new research direction is to build safe-by-construction controller based neural networks. Dealing with neural networks component involve also the design of formal specification which is a new challenge.
Keywords
Formal methods, neural networks, closed-loop systems, controller
Researchers involved or interested
- Eric Goubault, Ecole polytechnique, goubault@lix.polytechnique.fr
- Sylvie Putot, Ecole polytechnique, Sylvie.Putot@polytechnique.edu
- Sergio Mover, Ecole polytechnique, sergio.mover@lix.polytechnique.fr
- Sao Mai Nguyen, ENSTA Paris, sao-mai.nguyen@ensta-paris.fr
- Goran Frehse, ENSTA Paris, goran.frehse@ensta-paris.fr
- Zakaria Hichem Chihani, CEA, zakaria.chihani@cea.fr
- Marc Schoenauer, INRIA, marc.schoenauer@inria.fr
- Guillaume Charpiat, INRIA, guillaume.charpiat@inria.fr
- Serge Haddad, LSV, haddad@lsv.fr
- Philippe Dague, LMF, philippe.dague@universite-paris-saclay.fr
A few references
- Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference by Souradeep Dutta, Xin Chen and Sriram Sankaranarayanan. HSCC 2019.
- Verisig: verifying safety properties of hybrid systems with neural network controllers by Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee. HSCC 2019.
- Probabilistic Guarantees for Safe Deep Reinforcement Learning by Edoardo Bacci, David Parker. FORMATS 2020.