Games, Probability and the Quantitative µ-Calculus qMµ.

Annabelle McIver Carroll Morgan

Published in: LPAR (2002)

Keyphrases

qualitative and quantitative
probability distribution
video games
computer games
game theory
cooperative
conditional probabilities
game theoretic
games played
data sets
expressive power
educational games
perfect information
natural deduction