activity
20232026
most citedCTMCs with Imprecisely Timed Observations

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

eess.SY2023

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

Thom Badings, Nils Jansen, Licio Romao +1

Automated synthesis of correct-by-construction controllers for autonomous systems is crucial for their deployment in safety-critical scenarios. Such autonomous systems are naturall…