129 citations · 153 across the 17 of their papers we have counts for
4 papers · 1 filter
Neural Continuous-Time Supermartingale Certificates
Grigory Neustroev, Mirco Giacobbe, Anna Lukina
We introduce for the first time a neural-certificate framework for continuous-time stochastic dynamical systems. Autonomous learning systems in the physical world demand continuous…
Neural Model Checking
Mirco Giacobbe, Daniel Kroening, Abhinandan Pal +1
We introduce a machine learning approach to model checking temporal logic, with application to formal hardware verification. Model checking answers the question of whether every ex…
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…