conftrace_

strategic properties

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

game theory (2) quantitative strategy logic (1) refinement mapping (1) automated synthesis (1) situation calculus (1) abstraction mapping (1) multi-agent system (1) multi-agent game (1) formal verification (1) mechanism design (1)

Papers

Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 Automated Synthesis of Mechanisms IJCAI 2022