Contract-Based Distributed Synthesis in Two-Objective Parity Games.

Ashwani Anand Satya Prakash Nayak Anne-Kathrin Schmuck

Published in: CoRR (2023)

Keyphrases

distributed systems
cooperative
supply chain
distributed environment
game theory
computer games
computer networks
nash equilibrium
communication cost
game playing
multi agent
peer to peer
serious games
nash equilibria