A stochastic games framework for verification and control of discrete time stochastic hybrid systems

• Autores: J. Ding, Maryam Kamgarpour, S. Summers, A. Abate, J. Lygeros
• Localización: Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 49, Nº. 9, 2013, págs. 2665-2674
• Idioma: inglés
• Texto completo no disponible (Saber más ...)