Khái niệm cốt lõi
본 논문에서는 시스템과 환경 간의 상호 작용을 관찰하는 관찰자로부터 프라이버시를 유지하면서 시스템을 자동으로 합성하는 방법을 연구합니다.
Tóm tắt
관찰자로부터 프라이버시를 보호하는 합성 연구 논문 요약
Kupferman, O., Leshkowitz, O., & Halevy, N. S. (2024). SYNTHESIS WITH PRIVACY AGAINST AN OBSERVER. Logical Methods in Computer Science. arXiv:2411.08635v1 [cs.LO] 13 Nov 2024.
본 연구는 리액티브 시스템을 합성할 때, 시스템과 환경 간의 상호 작용을 관찰하는 관찰자로부터 시스템의 특정 정보를 숨기는 프라이버시 보존 합성 문제를 다룹니다.