Automated game analysis via probabilistic model checking: A case study

Electronic Notes in Theoretical Computer Science

Volumn 149, Issue 2, 2006, Pages 125-137

  Ballarini, P ^a   Fisher, M ^a   Wooldridge, M J ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Agents; Probabilistic model checking; Uncertainty

Indexed keywords

GAME THEORY; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROBABILITY;

GAME THEORETIC MODELS; MULTI-AGENT SYSTEMS; PROBABILISTIC MODEL CHECKING;

ARTIFICIAL INTELLIGENCE;

EID: 31644445013     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.030     Document Type: Conference Paper

References (10)

1. R. Alur, and T. Henzinger Reactive modules Formal Methods in System Design 15 1 1999 7 48
2. C. Baier, B. Haverkort, H. Hermann, and J.P. Katoen Model-checking algorithms for continuous-time Markov chains IEEE Trans. on Software Eng. 29 6 June 2003 524 541
3. E. Clarke, E. Emerson, and A. Sistla Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Transactions on Programming Languages and Systems 8 2 1986 244 263
4. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 2000 MIT Press
5. W. Feller An introduction to probability theory and its applications 1968 John Wiley and Sons
6. H.A. Hansson, and B. Jonsson A framework for reasoning about time and reliability Proc. 10th IEEE Real -Time Systems Symposium 1989 IEEE Computer Society Press Santa Monica, Ca. 102 111
7. M. Kwiatokowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with prism: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT), 2004
8. M.J. Osborne, and A. Rubinstein Bargaining and Markets 1990 The Academic Press London, England
9. A. Pnueli. A temporal logig of programs. Proc. of the 18th IEEE Symposioum on Foundations of Computer Science., pages 46-57, 1977
10. J.S. Rosenschein, and G. Zlotkin Rules of Encounter: Designing Conventions for Automated Negotiation among Computers 1994 The MIT Press Cambridge, MA