
The author presents a novel contract-based synthesis framework for distributed logical controllers in two-objective parity games, emphasizing the importance of permissive templates. The approach allows for efficient, sound, and complete negotiation processes.


coremsg

contract-based-distributed-synthesis-in-two-objective-parity-games-a-novel-approach


Contract-Based Distributed Synthesis in Two-Objective Parity Games: A Novel Approach


title_rewrite


컴퓨터 과학 분야에서 새로운 방법론을 활용한 이중 목적 패리티 게임에서의 계약 기반 분산 합성
