5 records found
1
Approximate abstractions of stochastic systems: a randomized method
Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation
A two-step scheme for approximate model checking of stochastic hybrid systems
Approximate model checking of stochastic hybrid systems
Penalized identification techniques and their application to adaptive control
