Skip to content
conftrace_

ltlf formulae

1 paper

Explore in graph

Also known as

LTLF

Co-occurring keywords · papers mentioning both

temporal logic inference (1) ltlf 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