Contract-Based Distributed Synthesis in Two-Objective Parity Games

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

We present a novel method to compute $\text{assume-guarantee contracts}$ in non-zerosum two-player games over finite graphs where each player has a different $\ddot{I}‰$-regular winnin…