scientific article; zbMATH DE number 5872401
From MaRDI portal
Publication:3086936
Recommendations
- Automatentheorie und Logik
- scientific article; zbMATH DE number 459361
- Automata theory. An algorithmic approach
- Automata and algebraicity
- Automaton logic
- scientific article; zbMATH DE number 1033559
- Automata theory and its applications
- scientific article; zbMATH DE number 1333447
- Logic and branching automata
Cited in
(60)- Automata-theoretic techniques for modal logics of programs
- A formal theory of simulations between infinite automata
- A pattern logic for automata with outputs
- Model theory of monadic predicate logic with the infinity quantifier
- Verification
- Abstract interpretation as automated deduction
- From model checking to equilibrium checking: reactive modules for rational verification
- Logic-automata connections for transformations
- Randomization in automata on infinite trees
- State of Büchi complementation
- Automatentheorie und Logik
- An automaton over data words that captures EMSO logic
- On the Relationship between -automata and Temporal Logic Normal Forms
- Automata-based presentations of infinite structures
- Automata theory and model checking
- The mu-calculus and Model Checking
- Formalizing the Logic-Automaton Connection
- Abstract Interpretation as Automated Deduction
- Automata vs. Logics on Data Words
- Tightening the Exchange Rates Between Automata
- scientific article; zbMATH DE number 3972842 (Why is no real title available?)
- scientific article; zbMATH DE number 4025421 (Why is no real title available?)
- scientific article; zbMATH DE number 49206 (Why is no real title available?)
- scientific article; zbMATH DE number 125884 (Why is no real title available?)
- scientific article; zbMATH DE number 1223628 (Why is no real title available?)
- The Complexity of Tree Automata and Logics of Programs
- scientific article; zbMATH DE number 626030 (Why is no real title available?)
- Decidability of S1S and S2S
- scientific article; zbMATH DE number 2038699 (Why is no real title available?)
- scientific article; zbMATH DE number 1786477 (Why is no real title available?)
- scientific article; zbMATH DE number 1829145 (Why is no real title available?)
- scientific article; zbMATH DE number 1876860 (Why is no real title available?)
- Automata and logics over signals
- scientific article; zbMATH DE number 5794052 (Why is no real title available?)
- On the power of unambiguity in Büchi complementation
- Tree automata with global constraints for infinite trees
- A functional (monadic) second-order theory of infinite trees
- scientific article; zbMATH DE number 7147442 (Why is no real title available?)
- Monoidal-closed categories of tree automata
- Alternating automata: unifying truth and validity checking for temporal logics
- Automata- and logic-based systems design
- Automata on infinite words and their applications in formal verification
- Implementation and Application of Automata
- An automata view to goal-directed methods
- Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
- A pattern logic for automata with outputs
- Projection for Büchi Tree Automata with Constraints between Siblings
- Logic and Branching Automata
- On the power of finite ambiguity in Büchi complementation
- Automata theory. An algorithmic approach
- Automata and logics over finitely varying functions
- Modular mix-and-match complementation of Büchi automata
- Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
- Simulations in rank-based Büchi automata complementation
- An automata-theoretic approach to linear temporal logic
- Constructing deterministic parity automata from positive and negative examples
- Constraint automata on infinite data trees: from \(\mathrm{CTL}(\mathbb{Z})/\mathrm{CTL}^*(\mathbb{Z})\) to decision procedures
- Constraint automata on infinite data trees: from CTL\((\mathbb{Z})\text{CTL}^*(\mathbb{Z})\) to decision procedures
- Counting branches in trees using games
- Relativizations for the logic-automata connection
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086936)
