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

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

activity
20242026
most citedA Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems

3 citations · 3 across the 13 of their papers we have counts for

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…