Trading Probability for Fairness
- 2 September 2002
- book chapter
- Published by Springer Nature
- p. 292-305
- https://doi.org/10.1007/3-540-45793-3_20
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Concurrent reachability gamesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Process Algebra and Probabilistic Methods. Performance Modelling and VerificationPublished by Springer Nature ,2001
- Module CheckingInformation and Computation, 2001
- Open Systems in Reactive Environments: Control and SynthesisPublished by Springer Nature ,2000
- The Control of Synchronous SystemsPublished by Springer Nature ,2000
- Small Progress Measures for Solving Parity GamesPublished by Springer Nature ,2000
- Infinite games played on finite graphsAnnals of Pure and Applied Logic, 1993
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- On the Development of Reactive SystemsPublished by Springer Nature ,1985