[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
Kamgarpour, Maryam; Ding, Jerry; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire
- 作者Kamgarpour, Maryam; Ding, Jerry; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire
- 文件大小675.77KB
- 发表时间2011
- DOI10.1109/cdc.2011.6161218
- 页码6122-6127