4 records found
1
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Robust PCTL model checking
A two-step scheme for approximate model checking of stochastic hybrid systems
Approximate model checking of stochastic hybrid systems
