conftrace_

deterministic büchi automata

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

linear temporal logic over finite trace (1) deterministic automaton (1) game solving (1) linear temporal logic (1) automata theory (1) strategy synthesis (1)

Papers

Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021