conftrace_

goal achievability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

liveness properties (1) mathematical induction (1) situation calculus (1) liveness property (1) formal verification (1) automated reasoning (1) knowledge representation (1) theorem proving (1)

Papers

Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020