Asynchronous online-monitoring of logical and temporal assertions.

Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione

Browse the full FDL paper archive.