Abstract
이 논문은 가중 그래프에서 플레이되는 게임에서 다중 플레이어의 합리적 검증과 합성에 대해 다룬다. 게임 이론의 개념을 사용하여 합리적 행동을 모델링하고, Pareto-최적성과 Nash 균형을 통해 환경 플레이어의 행동을 분석한다. 논문은 합리적 검증과 합성의 복잡성을 다루며, 정확한 알고리즘과 결과를 제시한다. 게임 이론의 중요성과 응용 분야에 대한 통찰력을 제공한다.
Introduction
형식적 방법의 중요성
다중 에이전트 시스템의 도전
합리적 합성과 검증의 필요성
Rational Synthesis and Verification
합리적 합성의 개념
합리적 검증의 중요성
Nash 균형과 Pareto-최적성의 모델링
Quantitative Reachability Objectives
정량적 도달 목표의 중요성
합리적 합성과 검증의 복잡성
Technical Contributions
합리적 합성과 검증의 주요 결과
합리적 합성과 검증의 알고리즘
최적성과 균형의 중요성
Stats
게임 이론에서의 합리적 검증과 합성에 대한 중요한 결과를 지원하는 키 메트릭스가 없습니다.