Quantitative automata model checking of autonomous stochastic hybrid systems

DOI10.1145/1967701.1967715zbMath1361.68130OpenAlexW2053807562WikidataQ57801293 ScholiaQ57801293MaRDI QIDQ2986716

Alexandru Mereacre, Alessandro Abate, Joost-Pieter Katoen

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967715

zbMATH Keywords

stochastic hybrid systemsfinite state automataLTL

Mathematics Subject Classification ID

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

Related Items (5)

Characterization and computation of infinite-horizon specifications over Markov processes ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Quantitative automata model checking of autonomous stochastic hybrid systems