1 records found
1
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
