Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems

Detalhes bibliográficos
Main Authors: Abate, A, Prandini, M, Lygeros, J, Sastry, S
Formato: Journal article
Publicado em: 2008