Model Checking Failure-Prone Open Systems Using Probabilistic Automata

DOI10.1007/978-3-319-24953-7_11zbMath1471.68128OpenAlexW2295188160MaRDI QIDQ3460553

No author found.

Publication date: 8 January 2016

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-319-24953-7_11

zbMATH Keywords

decision problemsmodel checkingverification toolemptiness problemsfailure-prone open systemshierarchical probabilistic automata (HPA)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata ⋮ Decidable and expressive classes of probabilistic automata ⋮ Unnamed Item

This page was built for publication: Model Checking Failure-Prone Open Systems Using Probabilistic Automata