conftrace_

agent abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (2) ability reasoning (1) ctlk specification (1) online execution (1) propositional logic (1) classical planning (1) model checking (1)

Papers

Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023 Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018