conftrace_

faithful encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal property (1) neural network (1) formula learning (1) linear temporal logic (1) temporal logic (1)

Papers

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024