Conditional Probabilities over Probabilistic and Nondeterministic Systems

DOI10.1007/978-3-540-78800-3_12zbMATH Open1134.68395OpenAlexW1527704738MaRDI QIDQ5458326FDOQ5458326

Authors: Miguel E. Andrés, Peter van Rossum 

Publication date: 11 April 2008

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_12

Recommendations

• Validation of Stochastic Systems
• Model checking of probabilistic and nondeterministic systems
• Model checking conditional CSL for continuous-time Markov chains
• Model checking probabilistic systems
• A Logic of Probability with Decidable Model Checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking of probabilistic and nondeterministic systems
• Title not available (Why is that?)
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Title not available (Why is that?)
• CONCUR 2005 – Concurrency Theory
• Validation of Stochastic Systems
• Extended Directed Search for Probabilistic Timed Reachability
• On the security of public key protocols
• A practical secret voting scheme for large scale elections
• Counterexamples in Probabilistic Model Checking
• Title not available (Why is that?)
• Probabilistic verification
• A Formal Treatment of Onion Routing

Cited In (9)

• Probabilistic model checking for energy-utility analysis
• Multiphase until formulas over Markov reward models: an algebraic approach
• Model checking finite-horizon Markov chains with probabilistic inference
• Distributing probability over non-determinism
• An algebraic method to fidelity-based model checking over quantum Markov chains
• Energy-utility analysis for resilient systems using probabilistic model checking
• Nearly optimal verifiable data streaming
• Conditioning in probabilistic programming
• Maximizing the conditional expected reward for reaching the goal

This page was built for publication: Conditional Probabilities over Probabilistic and Nondeterministic Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458326)