Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin. Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, December 12-15, 2011. pages 6122-6127, IEEE, 2011. [doi]
Abstract is missing.