Publication:3086918
From MaRDI portal
zbMath1215.93082MaRDI QIDQ3086918
Igor Walukiewicz, André Arnold
Publication date: 30 March 2011
deterministic finite automata; controller synthesis; mu-calculus; satisfiability problem of mu-calculus
93C65: Discrete event control/observation systems
93B50: Synthesis problems
03D05: Automata and formal grammars in connection with logical questions
Related Items
Maximally permissive controlled system synthesis for non-determinism and modal logic, Infinite games with finite knowledge gaps, Information tracking in games on graphs, Parity game reductions, Distributed synthesis is simply undecidable, The mu-calculus and Model Checking, Consensus Game Acceptors