conftrace_

ctlk specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

agent abstraction (1) situation calculus (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