Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems

Détails bibliographiques
Auteurs principaux: Abate, A, Prandini, M, Lygeros, J, Sastry, S
Format: Journal article
Publié: 2008