abstraction techniques 1control synthesis 1data-driven verification 1dynamical systems 1formal methods 1
From the 1 of 4 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Complete -Regular Supermartingale Certificates
Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko +1
We introduce a general methodology for the construction of sound and complete proof rules for the almost-sure and quantitative acceptance of reactivity properties on time-homogeneo…
cs.LO2025
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…