129 citations · 181 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 7 cited
Data-driven Abstractions for Verification of Deterministic Systems
Rudi Coppola, Andrea Peruffo, Manuel Mazo
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics th…
eess.SY2022★ 1 cited
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
Andrea Peruffo, Manuel Mazo
We employ the scenario approach to compute probably approximately correct (PAC) bounds on the average inter-sample time (AIST) generated by an unknown PETC system, based on a finit…