Conditional Probabilities over Probabilistic and Nondeterministic Systems

DOI10.1007/978-3-540-78800-3_12MaRDI QIDQ5458326zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3128787 (Why is no real title available?)
• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• scientific article; zbMATH DE number 1796156 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• A Formal Treatment of Onion Routing
• A practical secret voting scheme for large scale elections
• CONCUR 2005 – Concurrency Theory
• Counterexamples in Probabilistic Model Checking
• Extended Directed Search for Probabilistic Timed Reachability
• Model checking of probabilistic and nondeterministic systems
• On the security of public key protocols
• Probabilistic verification
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Validation of Stochastic Systems

Cited in

(9)

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

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)