Pages that link to "Item:Q5137903"
From MaRDI portal
The following pages link to Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study (Q5137903):
Displaying 11 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives (Q2248060) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
