works on
abstraction techniques 1control synthesis 1data-driven verification 1dynamical systems 1formal methods 1

From the 1 of 12 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…