Modal characterisation of simulation relations in probabilistic concurrent games.

Chenyi Zhang Jun Pang

Published in: Sci. Comput. Program. (2022)

Keyphrases

probabilistic model
generative model
spatial relations
simulation model
uncertain data
game theory
semantic relations
bayesian networks
background knowledge
computer games
serious games
digital games
monotonicity constraints