4 papers · 1 filter
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…
Stochastic Omega-Regular Verification and Control with Supermartingales
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
We present for the first time a supermartingale certificate for -regular specifications. We leverage the Robbins & Siegmund convergence theorem to characterize supermartingale c…
Bisimulation Learning
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
We introduce a data-driven approach to computing finite bisimulations for state transition systems with very large, possibly infinite state space. Our novel technique computes stut…