Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68099OpenAlexW657718082MaRDI QIDQ5325844FDOQ5325844

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)

Cited In (10)

• 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
• Title not available (Why is that?)

Uses Software

• veriSoft

   Recommendations

• On Abstraction of Probabilistic Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Model Checking Software 👍 👎
• Three-valued abstraction for probabilistic systems 👍 👎
• Least Upper Bounds for Probability Measures and Their Applications to Abstractions 👍 👎

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)