Monitoring Temporal Properties of Stochastic Systems

DOI10.1007/978-3-540-78163-9_25zbMath1138.68470OpenAlexW1524018317MaRDI QIDQ5452724

No author found.

Publication date: 4 April 2008

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-78163-9_25

Mathematics Subject Classification ID

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)

Related Items (3)

Runtime monitors for Markov decision processes ⋮ Probabilistic causes in Markov chains ⋮ On probabilistic monitorability

This page was built for publication: Monitoring Temporal Properties of Stochastic Systems