Monitoring the Full Range of ω-Regular Properties of Stochastic Systems

DOI10.1007/978-3-540-93900-9_12zbMath1206.68215OpenAlexW1557502521MaRDI QIDQ3600469

Unnamed Author, Kalpana Gondi, A. Prasad Sistla

Publication date: 10 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-93900-9_12

Mathematics Subject Classification ID

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 (3)

Probabilistic causes in Markov chains ⋮ On probabilistic monitorability ⋮ Topology, monitorable properties and runtime verification

This page was built for publication: Monitoring the Full Range of ω-Regular Properties of Stochastic Systems