A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Ding, Jerry, Kamgarpour, Maryam, Summers, Sean, Abate, Alessandro, Lygeros, John, Tomlin, ClaireVolume:
49
Language:
english
Journal:
Automatica
DOI:
10.1016/j.automatica.2013.05.025
Date:
September, 2013
File:
PDF, 759 KB
english, 2013