The following pages link to (Q4074888):
Displaying 50 items.
- Determinization of ordinal automata (Q383176) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Synthesis of deterministic top-down tree transducers from automatic tree relations (Q515670) (← links)
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Counting branches in trees using games (Q729823) (← links)
- Characterization of \(\omega\)-regular languages by first-order formulas (Q800737) (← links)
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- Matching regular expressions on uncertain data (Q832529) (← links)
- A classification of \(\omega\)-regular languages (Q1058863) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Complementing deterministic Büchi automata in polynomial time (Q1116702) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- On branching and looping. I (Q1134530) (← links)
- \(\omega\)-languages accepted by finite automata whose structures are cascade products o resets (Q1183179) (← links)
- Finite automata on directed graphs (Q1191024) (← links)
- The Borel hierarchy is infinite in the class of regular sets of trees (Q1210306) (← links)
- Theories of automata on \(\omega\)-tapes: a simplified approach (Q1211504) (← links)
- Mit regulären Grundbegriffen definierbare Prädikate (Q1219876) (← links)
- Finite-memory automata (Q1341718) (← links)
- Chain automata (Q1351952) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Weak Muller acceptance conditions for tree automata (Q1770388) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Decidability of well-connectedness for distributed synthesis (Q1941703) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Synthesizing structured reactive programs via deterministic tree automata (Q2346409) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- Robust learning of automatic classes of languages (Q2637647) (← links)
- Observation and distinction: representing information in infinite games (Q2701064) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications (Q2891421) (← links)
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
- Decidability and undecidability of theories with a predicate for the primes (Q3138021) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Rabin's uniformization problem (Q3322069) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
