Biblio

Filters: Author is Alexandre Donze  [Clear All Filters]
2018-05-15
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donze, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan.  2017.  Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

On-line at: \url{http://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf}

2018-05-27
Tommaso Dreossi, Alexandre Donze, Sanjit A. Seshia.  2017.  Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Proceedings of the NASA Formal Methods Conference (NFM).