conftrace_

syntactic approach

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sound complete abstraction (1) golog program (1) refinement mapping (1) situation calculus (1) formal verification (1) automated planning (1)

Papers

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025