conftrace_

temporal property

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

faithful encoding (1) neural network (1) modal logic (1) formula learning (1) linear temporal logic (1) temporal logic (1) probabilistic programming (1) belief state (1) program verification (1)

Papers

A Framework for Belief-based Programs and Their Verification (Abstract Reprint) AAAI 2026 End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024