Validation of Stochastic Systems
From MaRDI portal
Publication:5325843
Recommendations
- scientific article; zbMATH DE number 1786476
- An introduction to randomized algorithms
- RDA: a Coq library to reason about randomised distributed algorithms in the message passing model
- Certified impossibility results and analyses in Coq of some randomised distributed algorithms
- Distributed randomized algorithms for probabilistic performance analysis
Cited in
(18)- Stochastic analysis of average-based distributed algorithms
- scientific article; zbMATH DE number 2081023 (Why is no real title available?)
- Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- Certified impossibility results and analyses in Coq of some randomised distributed algorithms
- Probabilistic analysis of some distributed algorithms
- Analysis of a randomized rendezvous algorithm
- scientific article; zbMATH DE number 1884413 (Why is no real title available?)
- Analysis of distributed token circulation algorithm with faulty random number generator
- scientific article; zbMATH DE number 929635 (Why is no real title available?)
- A linear-time algorithm for the orbit problem over cyclic groups
- Layered reasoning for randomized distributed algorithms
- Least upper bounds for probability measures and their applications to abstractions
- RDA: a Coq library to reason about randomised distributed algorithms in the message passing model
- Computer Aided Verification
- Distributed randomized algorithms for probabilistic performance analysis
- scientific article; zbMATH DE number 1786476 (Why is no real title available?)
- A game-based abstraction-refinement framework for Markov decision processes
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 Q5325843)
