Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
- 1.ZHANG, J., SHE, Z., RATSCHAN, S., 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. Dostupné z: doi: 10.3166/EJC.18.572-587
Počet záznamů: 1