Alternating finite automata on -words
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3866588
- On alternating \(\omega\)-automata
- Alternating finite automata and star-free languages
- Constructions for alternating finite automata∗
- -automata
- ω-Automata
- scientific article; zbMATH DE number 1759492
- Alternating register automata on finite words and trees
- On emptiness and counting for alternating finite automata
- An alternating hierarchy for finite automata
Cites work
- scientific article; zbMATH DE number 3471986 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3591916 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- Alternation
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Decision problems forω-automata
- On ω-regular sets
- Sets of Numbers Defined by Finite Automata
- Testing and generating infinite sequences by a finite automaton
- Theories of automata on \(\omega\)-tapes: a simplified approach
- Theory of -languages. I: Characterizations of -context- free languages
- Theory of -languages. II: A study of various models of - type generation and recognition
- -computations on Turing machines
- -computations on deterministic pushdown machines
Cited in
(77)- Model-checking timed temporal logics
- A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
- Alternation and -type Turing acceptors
- Propositional Dynamic Logic for Hyperproperties
- Constructions for alternating finite automata∗
- Visibly linear temporal logic
- Projection for Büchi Tree Automata with Constraints between Siblings
- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
- Alternating automata: unifying truth and validity checking for temporal logics
- Automata theory and model checking
- -automata
- SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
- Model Checking Information Flow in Reactive Systems
- Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata
- Size-change termination and satisfiability for linear-time temporal logics
- From bidirectionality to alternation.
- On regular temporal logics with past
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
- Probabilistic opacity for Markov decision processes
- From Spot 2.0 to Spot 2.10: What’s New?
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics
- Lattice Automata
- A Characterisation of Pi^0_2 Regular Tree Languages
- scientific article; zbMATH DE number 7649927 (Why is no real title available?)
- On the power of finite ambiguity in Büchi complementation
- Modular mix-and-match complementation of Büchi automata
- Blind counter automata on \(\omega\)-words
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi
- Nondeterministic Tree Automata
- An alternating hierarchy for finite automata
- scientific article; zbMATH DE number 4094826 (Why is no real title available?)
- Complementing Büchi Automata with Ranker
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
- A theory of ultimately periodic languages and automata with an application to time granularity
- scientific article; zbMATH DE number 1678376 (Why is no real title available?)
- New optimizations and heuristics for determinization of Büchi automata
- Optimal constructions for active diagnosis
- Don't care words with an application to the automata-based approach for real addition
- Determinization and limit-determinization of Emerson-Lei automata
- Alternating automata and temporal logic normal forms
- The quest for a tight translation of Büchi to co-Büchi automata
- From linear temporal logics to Büchi automata: the early and simple principle
- Hybrid and first-order complete extensions of CaRet
- scientific article; zbMATH DE number 3881897 (Why is no real title available?)
- Rabin vs. Streett automata
- Alternating automata on infinite trees
- ω-Automata
- Fuzzy alternating Büchi automata over distributive lattices
- Graph Games and Reactive Synthesis
- Alternating finite automata and star-free languages
- Observations on determinization of Büchi automata
- scientific article; zbMATH DE number 4143462 (Why is no real title available?)
- Latticed-LTL synthesis in the presence of noisy inputs
- Automatic winning shifts
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- Complexity and succinctness issues for linear-time hybrid logics
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
- COMPUTING CONVEX HULLS BY AUTOMATA ITERATION
- Width of non-deterministic automata
- Converting a Büchi alternating automaton to a usual nondeterministic one
- Computing the width of non-deterministic automata
- Pushdown module checking
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
- On alternating \(\omega\)-automata
- From complementation to certification
- scientific article; zbMATH DE number 1472391 (Why is no real title available?)
- A survey on satisfiability checking for the \(\mu \)-calculus through tree automata
- Towards a grand unification of Büchi complementation constructions
- TYPENESS FOR ω-REGULAR AUTOMATA
- Parametric linear dynamic logic
- An automata-theoretic approach to linear temporal logic
- scientific article; zbMATH DE number 3972187 (Why is no real title available?)
- On the strength of unambiguous tree automata
- NP reasoning in the monotone \(\mu\)-calculus
- scientific article; zbMATH DE number 7455748 (Why is no real title available?)
This page was built for publication: Alternating finite automata on \(\omega\)-words
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796990)