strategy synthesis

linear temporal logic (9) game theory (7) formal verification (6) markov decision process (4) automata theory (3) temporal logic (3) reachability game (2) finite trace (2) deterministic finite automaton (2) best-effort synthesis (2)