Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325844zbMATH OpenOpenAlexFDO

Authors Michael Huth

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

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Abstraction of Probabilistic Systems
• scientific article; zbMATH DE number 2090706
• Model Checking Software
• Three-valued abstraction for probabilistic systems
• Least Upper Bounds for Probability Measures and Their Applications to Abstractions

Cited in

(11)

• Three-valued abstraction for probabilistic systems
• Abstraction for Stochastic Systems by Erlang’s Method of Stages
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Abstraction of Probabilistic Systems
• On Abstraction of Probabilistic Systems
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Least upper bounds for probability measures and their applications to abstractions
• A game-based abstraction-refinement framework for Markov decision processes
• On finite-state approximants for probabilistic computation tree logic
• scientific article; zbMATH DE number 2090706 (Why is no real title available?)
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

Describes a project that uses

Uses Software

• veriSoft

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 Q5325844)