129 citations · 153 across the 17 of their papers we have counts for
3 papers · 1 filter
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe +2
We present a fully automatic framework for synthesising compact, finite-state deterministic abstractions of deterministic, continuous-state autonomous systems under locally specifi…
Branching Bisimulation Learning
Alessandro Abate, Mirco Giacobbe, Christian Micheletti +1
We introduce a bisimulation learning algorithm for non-deterministic transition systems. We generalise bisimulation learning to systems with bounded branching and extend its applic…
Quantitative Supermartingale Certificates
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
We introduce a general methodology for quantitative model checking and control synthesis with supermartingale certificates. We show that every specification that is invariant to ti…