Skip to content
conftrace_

ltlf inference

1 paper

Explore in graph

Also known as

LTLF

Co-occurring keywords · papers mentioning both

ltlf formulae (1) temporal logic inference (1) trace classification (1) linear temporal logic on finite trace (1) graph neural network (1) formula learning (1) noisy data (1) temporal logic (1)

Papers

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022