Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

By Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan. Lectures on Runtime Verification, 2018

329 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/1c8e889fdf98854d1bc4dafccec42242ba25bf81