2 papers
cs.SE2022
Predictive Semantics for Past-CTL Runtime Monitors
Giorgio Audrito, Volker Stolz, Gianluca Torta
The distributed monitoring of swarms of devices cooperating to common global goals is becoming increasingly important, as such systems are employed for critical applications, e.g.,…
math.LO2014
An introduction to forcing axioms, SRP and OCA
Giorgio Audrito, Gemma Carotenuto
These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose…