Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325837zbMATH OpenOpenAlexFDO

Authors Frank Ciesinski, Marcus Grösser

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

zbMATH Keywords

fairnessMarkov decision processesdiscrete-time Markov chainsschedulerPCTLquantitative model checkingPCTL\(^{*}\)probabilistic deterministic systemsprobabilistic nondeterministic systems

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) Logic in computer science (03B70)

Recommendations

• Model checking of probabilistic and nondeterministic systems
• Model checking probabilistic systems
• scientific article; zbMATH DE number 1330140
• Symbolic model checking for probabilistic processes
• scientific article; zbMATH DE number 1507207

Cited in

(27)

• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• Model Checking Quantitative Linear Time Logic
• Relevant Representations for the Inference of Rational Stochastic Tree Languages
• Weighted versus Probabilistic Logics
• Constraint Markov chains
• Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains
• A temporal logic for proving properties of topologically general executions
• Graph decompositions and tree automata in reasoning with uncertainty
• Statistical model checking of stochastic component-based systems
• Reliability-aware automatic composition approach for web services
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• On consistency in probabilistic logic for logical formulas represented by B-hypertrees
• On finite-state approximants for probabilistic computation tree logic
• Automated verification and synthesis of stochastic hybrid systems: a survey
• scientific article; zbMATH DE number 1444332 (Why is no real title available?)
• Separable GPL: decidable model checking with more non-determinism
• Probabilistic \(\mathrm{CTL}^*\): the deductive way
• Probabilistic model validation for uncertain nonlinear systems
• On simulation-based probabilistic model checking of mixed-analog circuits
• Model checking of probabilistic and nondeterministic systems
• Preservation of probabilistic information flow under refinement
• Exogenous probabilistic computation tree logic
• Probabilistic logic over paths
• Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler
• Some properties of computation tree logic under possibility measures
• Computation tree logic model checking based on possibility measures

Describes a project that uses

Uses Software

• PRISM

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