A stochastic games framework for verific
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
โ
Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John
๐
Article
๐
2013
๐
Elsevier Science
๐
English
โ 759 KB