conftrace_

refinement mapping

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (4) formal verification (2) strong fond planning (1) golog program (1) sound complete abstraction (1) syntactic approach (1) strategic properties (1) abstraction mapping (1) multi-agent system (1) plan synthesis (1)

Papers

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 Abstraction of Nondeterministic Situation Calculus Action Theories IJCAI 2023