conftrace_

concurrent game structure

2 papers

Explore in graph

Also known as

CGS

Co-occurring keywords · papers mentioning both

alternating-time temporal logic (2) model checking (2) abstraction method (1) strategic property (1) strategic ability (1) strategy sharing (1) multi-agent system (1) formal verification (1) imperfect information (1)

Papers

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing AAAI 2024 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019