activity
20172026
most citedAutomata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations

14 citations · 46 across the 58 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 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…

cs.LO2021

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey

Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate +1

Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the stu…