![[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Discrete time stochastic hybrid dynamical games: Verification & controller synthesis]()
[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Discrete time stochastic hybrid dynamical games: Verification & controller synthesisKamgarpour, Maryam; Ding, Jerry; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire · 2011