Skip to content
conftrace_

trace classification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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