activity
20232026
most citedFrom a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

1 citations · 1 across the 9 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…