Model checking stochastic automata
From MaRDI portal
Publication:5267439
DOI10.1145/937555.937558zbMath1365.68316OpenAlexW2073841996MaRDI QIDQ5267439
John Derrick, Jeremy Bryans, Howard Bowman
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/937555.937558
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator, Categories of Timed Stochastic Relations, Extending Timed Process Algebra with Discrete Stochastic Time, Calculating Probabilities of Real-Time Test Cases