The following pages link to Validation of Stochastic Systems (Q5325843):
Displaying 11 items.
- A linear-time algorithm for the orbit problem over cyclic groups (Q303693) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Distributed randomized algorithms for probabilistic performance analysis (Q1016599) (← links)
- Analysis of a randomized rendezvous algorithm (Q1398376) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
- Probabilistic analysis of some distributed algorithms (Q3358236) (← links)
- (Q4893874) (← links)
- Stochastic analysis of average-based distributed algorithms (Q4997195) (← links)
- Computer Aided Verification (Q5716539) (← links)
