Visible to the public Biblio

Filters: Author is Dejan Nickovic  [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}