Skip to content
conftrace_

linear temporal logic on finite trace

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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