Monitoring Temporal Properties of Stochastic Systems

DOI10.1007/978-3-540-78163-9_25MaRDI QIDQ5452724zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
• scientific article; zbMATH DE number 176728
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Algorithms for monitoring real-time properties
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Cited in

(9)

• Probabilistic causes in Markov chains
• Replicated condition monitoring
• Timely monitoring of partially observable stochastic systems
• Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
• scientific article; zbMATH DE number 1737293 (Why is no real title available?)
• Monitoring of Stochastic Particle Systems: Analysis and Optimization
• On probabilistic monitorability
• The best a monitor can do
• Runtime monitors for Markov decision processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452724)