Number of the records: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Impact factor: 1.250, year: 2012
http://hdl.handle.net/11104/0217724
Number of the records: 1