conftrace_

mathematical induction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

liveness properties (1) goal achievability (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