MP

M Prandini

5 records found

A two-step scheme for approximate model checking of stochastic hybrid systems

Approximate abstractions of stochastic systems: a randomized method
Conference paper (2011) - A. Abate (author), M Prandini (author)

Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation

Approximate model checking of stochastic hybrid systems

Penalized identification techniques and their application to adaptive control
Abstract (1998) - M Prandini (author)