Login / Signup

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

Jerry DingMaryam KamgarpourSean SummersAlessandro AbateJohn LygerosClaire J. Tomlin
Published in: Autom. (2013)
Keyphrases