포화 제약이 있는 선형 시불변 다중 에이전트 시스템에 대한 합의 문제 | Synapse