1
Bartocci, Ezio.
2015
Table of Contents:
“...-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous...”2015
Full text