conftrace_

linear-time temporal logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (2) linear temporal logic (2) formal verification (2) temporal equilibrium logic (1) hardware circuit (1) automata technique (1) neural circuit synthesis (1) hardware synthesis (1) temporal operator (1) neuro-symbolic computing (1)

Papers

On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 Teaching Temporal Logics to Neural Networks ICLR 2021