Higher-Order Approximations for Verification of Stochastic Hybrid Systems

DOI10.1007/978-3-642-33386-6_32zbMath1374.68280OpenAlexW114292900MaRDI QIDQ4649312

Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_32

zbMATH Keywords

interpolation theorystochastic hybrid systemsbounded-until and reach-avoidgeneral state-space Markov processesPCTL verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Symbolic control for stochastic systems via finite parity games ⋮ Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Higher-Order Approximations for Verification of Stochastic Hybrid Systems