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. 2012, 18(6), 572-587. ISSN 0947-3580. E-ISSN 1435-5671. Available: doi: 10.3166/EJC.18.572-587
Number of the records: 1