Assume-Guarantee Software Verification Based on Game Semantics.

Aleksandar S. Dimovski Ranko Lazic

Published in: ICFEM (2006)

Keyphrases

computer games
game theoretic
game theory
nash equilibrium
video games
educational games
virtual world
game play
game design
game playing
formal semantics
role playing
database
cooperative game
speech acts
semantic information
logic programming
nash equilibria
monte carlo
two player games