From Fairness to Chance
Open Access
- 31 December 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 22, 55-87
- https://doi.org/10.1016/s1571-0661(05)80597-3
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Concurrent reachability gamesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- How to specify and verify the long-run average behaviour of probabilistic systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The complexity of probabilistic verificationJournal of the ACM, 1995
- Probabilistic VerificationInformation and Computation, 1993
- An Analysis of Stochastic Shortest Path ProblemsMathematics of Operations Research, 1991
- Survey of fairness notionsInformation and Software Technology, 1989
- On the complexity of omega -automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Verifying temporal properties of finite-state probabilistic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Termination of Probabilistic Concurrent ProgramACM Transactions on Programming Languages and Systems, 1983
- Average cost semi-markov decision processesJournal of Applied Probability, 1970