|
[BFW06]
Paolo Ballarini, Michael Fisher and Michael Wooldridge.
Automated Game Analysis via Probabilistic Model Checking: A Case Study.
In Proc. 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt'05), volume 149 of ENTCS, pages 125-137, Elsevier.
February 2006.
[bib]
http://www.csc.liv.ac.uk/~mjw/pubs/
|
|
Downloads:
 bib
|
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.csc.liv.ac.uk/~mjw/pubs/
|