Login / Signup
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Matteo Mio
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
denotational semantics
programming language
probabilistic model
computer games
bayesian networks
game theory
nash equilibrium
educational games
operational semantics
high level
game playing
preprocessing
video games
serious games
game play