31 citations · 132 across the 17 of their papers we have counts for
1 paper · 2 filters
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian +3
This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discrete-time stochastic hybrid systems (SHS) with linear dynamics…