conftrace_

abstraction mapping

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (1) strategic properties (1) refinement mapping (1) multi-agent system (1) multi-agent game (1) formal verification (1) game theory (1)

Papers

Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024