1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Thom Badings, Licio Romao, Alessandro Abate +1
Finite-state abstractions are widely studied for the automated synthesis of correct-by-construction controllers for stochastic dynamical systems. However, existing abstraction meth…