Validation of Stochastic Systems
From MaRDI portal
Publication:5325838
DOI10.1007/B98484zbMATH Open1203.68102OpenAlexW657718082MaRDI QIDQ5325838FDOQ5325838
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98484
Recommendations
- Model checking for probabilistic timed automata
- scientific article
- Foundations of Software Science and Computational Structures
- scientific article; zbMATH DE number 1507207
- Symbolic model checking for probabilistic timed automata
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Model checking linear-time properties of probabilistic systems
- Model checking of probabilistic and nondeterministic systems
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (16)
- Probabilistic and prioritized models of timed CSP
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Probabilistic and Topological Semantics for Timed Automata
- Efficient timed model checking for discrete-time systems
- Formal Modeling and Analysis of Timed Systems
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
- Verification and Control of Probabilistic Rectangular Hybrid Automata
- Statistical Model Checking for Networks of Priced Timed Automata
- Parametric Timed Model Checking for Guaranteeing Timed Opacity
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power
- Symbolic model checking for probabilistic timed automata
- Calculating Probabilities of Real-Time Test Cases
- Expressiveness and conciseness of timed automata for the verification of stochastic models
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325838)
