conftrace_

strategic property

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent game structure (1) abstraction method (1) multi-agent system (1) alternating-time temporal logic (1) model checking (1) formal verification (1) imperfect information (1)

Papers

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019