Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system's state. Due to its relevance for…
eess.SY2020
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone +2
We introduce a novel learning-based approach to synthesize safe and robust controllers for autonomous Cyber-Physical Systems and, at the same time, to generate challenging tests. T…