Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems

Detalles Bibliográficos
Main Authors: Abate, A, Prandini, M, Lygeros, J, Sastry, S
Formato: Journal article
Publicado: 2008