conftrace_

deterministic finite automaton

10 papers

Explore in graph

Also known as

DFA

Co-occurring keywords · papers mentioning both

linear temporal logic (5) finite trace (3) temporal logic (3) formal verification (3) strategy synthesis (2) automata theory (2) game theory (2) non-markovian domain (1) best-effort synthesis (1) symbolic synthesis (1)

Papers

Automata-less Monitoring via Trace-Checking AAAI 2026 Learning DFAs from Positive Examples Only via Word Counting AAAI 2026 Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning NeurIPS 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024 Learning Interpretable Temporal Properties from Positive Examples Only AAAI 2023 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Symbolic LTLf Synthesis IJCAI 2017 Active Coevolutionary Learning of Deterministic Finite Automata JMLR 2005