Biblio
Filters: Author is Ezio Bartocci [Clear All Filters]
.
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}
.
2017. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.