Translating Asynchronous Games for Distributed Synthesis (Full Version).
Raven BeutnerBernd FinkbeinerJesko Hecking-HarbuschPublished in: CoRR (2019)
Keyphrases
- multi agent
- distributed systems
- cooperative
- data sets
- distributed environment
- real time
- game design
- educational games
- distributed constraint satisfaction
- distributed constraint satisfaction problems
- program synthesis
- communication overhead
- game theoretic
- communication cost
- video games
- game play
- game playing
- computing environments
- fault tolerant
- distributed network
- asynchronous circuits
- lightweight
- learning process