Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.
Luca BernardinelloLucia PomelloAdrián Puerto AubelAlessandro VillaPublished in: PNSE@Petri Nets/ACSD (2018)
Keyphrases
- game theory
- video games
- game playing
- computer games
- nash equilibria
- nash equilibrium
- neural network
- online game
- game theoretic
- game design
- game play
- educational games
- cooperative
- weighted majority
- consistency checking
- coalitional games
- perfect information
- data sets
- state machines
- two player games
- general game playing
- monte carlo tree search
- asynchronous communication
- asynchronous circuits
- game tree search
- learning agents
- discussion forums
- digital games
- game based learning