Core Concepts
게임 이론에서 균형 설계의 중요성과 복잡성을 탐구한다.
Abstract
게임 이론의 균형 설계에 대한 연구
시간 논리 속성을 충족하는 균형 설계의 중요성
LTL 및 GR(1) 명세에 대한 균형 설계의 복잡성 분석
보상 체계를 활용한 균형 설계의 방법론
사회 복지 고려한 균형 설계의 중요성
Stats
LTL 명세에 대한 모델 체크는 PSPACE-complete이다.
GR(1) 명세에 대한 모델 체크는 NP-complete이다.
Quotes
"균형 설계는 합리적인 결과를 달성하기 위한 보상 체계 설계에 중점을 둔다."
"사회 복지를 고려한 균형 설계는 다양한 문제에 대한 최적의 해결책을 제시한다."