A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Publication status
publishedExternal links
Journal / series
AutomaticaVolume
Pages / Article No.
Publisher
ElsevierSubject
Hybrid systems; Stochastic systems; Dynamic games; Controller synthesis; ReachabilityOrganisational unit
03751 - Lygeros, John / Lygeros, John
More
Show all metadata