Library
search
local_library
Repository
MP
M Prandini
View Pure Profile
Authored
5 records found
Penalized identification techniques and their application to adaptive control
Abstract -
M Prandini
Approximate abstractions of stochastic systems: a randomized method
Conference paper -
A. Abate
,
M Prandini
Approximate model checking of stochastic hybrid systems
Journal article -
A. Abate
,
J.P. Katoen
,
J. Lygeros
,
M Prandini
Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation
Conference paper -
M Prandini
,
H.A.P. Blom
,
GJ Bakker
A two-step scheme for approximate model checking of stochastic hybrid systems
Conference paper -
A. Abate
,
J.P. Katoen
,
J. Lygeros
,
M Prandini