Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68096OpenAlexW657718082MaRDI QIDQ5325837FDOQ5325837

Marcus Grösser, Frank Ciesinski

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

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)

Cited In (20)

• Relevant Representations for the Inference of Rational Stochastic Tree Languages
• Weighted versus Probabilistic Logics
• Constraint 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
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• On consistency in probabilistic logic for logical formulas represented by \(B\)-hypertrees
• Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains
• On finite-state approximants for probabilistic computation tree logic
• Title not available (Why is that?)
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Probabilistic model validation for uncertain nonlinear systems
• Probabilistic Logic over Paths
• On simulation-based probabilistic model checking of mixed-analog circuits
• Preservation of probabilistic information flow under refinement
• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• Model Checking Quantitative Linear Time Logic

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)