サインイン
インサイト - Distributed Synthesis Framework
Contract-Based Distributed Synthesis in Two-Objective Parity Games: A Novel Approach
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.
Contract-Based Distributed Synthesis in Two-Objective Parity Games: A Novel Approach
컴퓨터 과학 분야에서 새로운 방법론을 활용한 이중 목적 패리티 게임에서의 계약 기반 분산 합성