Luminita Manuela Bujorianu

• Stochastic reachability analysis of hybrid systems