conftrace_

abstraction method

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent game structure (1) strategic property (1) cost partitioning (1) action cost (1) multi-agent system (1) alternating-time temporal logic (1) merge-and-shrink heuristic (1) model checking (1) formal verification (1) heuristic search (1)

Papers

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 Additive Merge-and-Shrink Heuristics for Diverse Action Costs IJCAI 2017