conftrace_

deterministic automaton

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automata theory (2) event log (1) timed automata (1) linear temporal logic over finite trace (1) deterministic büchi automata (1) game solving (1) shortest path algorithm (1) finite state automaton (1) linear temporal logic (1) strategy synthesis (1)

Papers

A* shortest string decoding for non-idempotent semirings EACL 2024 TAG: Learning Timed Automata from Logs AAAI 2022 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021