Alternating tree automata, parity games, and modal -calculus
From MaRDI portal
(Redirected from Publication:5952907)
Alternating tree automata, parity games, and modal \(\mu\)-calculus
Alternating tree automata, parity games, and modal \(\mu\)-calculus
Recommendations
- Modal μ-Calculus and Alternating Tree Automata
- Alternating Tree Automata and Parity Games
- scientific article; zbMATH DE number 4051592
- scientific article; zbMATH DE number 1405445
- Automata, Logic and Games for the $$\lambda $$ -Calculus
- Alternating automata, the weak monadic theory of trees and its complexity
- Automata for the modal -calculus and related results
- scientific article; zbMATH DE number 3999901
- Parity games and automata for game logic
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
Cited in
(53)- On modal \(\mu \)-calculus and Gödel-Löb logic
- The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs
- Model-checking iterated games
- Completeness for \(\mu\)-calculi: a coalgebraic approach
- Solving parity games via priority promotion
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- On modal -calculus and non-well-founded set theory
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
- Improving parity games in practice
- A focus system for the alternation-free \(\mu \)-calculus
- Robust worst cases for parity games algorithms
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Permutation games for the weakly aconjunctive \(\mu \)-calculus
- Equivalence of probabilistic \(\mu\)-calculus and p-automata
- Quantitative vs. weighted automata
- Mu-depth 3 is more than 2: A game-theoretic proof
- Refinement sensitive formal semantics of state machines with persistent choice
- Solving parity games using an automata-based algorithm
- Modular games for coalgebraic fixed point logics
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
- Inseparability and conservative extensions of description logic ontologies: a survey
- From Parity and Payoff Games to Linear Programming
- The descriptive complexity of modal model-checking games
- scientific article; zbMATH DE number 7445162 (Why is no real title available?)
- Solving parity games in big steps
- Symmetric strategy improvement
- Distributed Synthesis for Alternating-Time Logics
- ATL* Satisfiability Is 2EXPTIME-Complete
- Simulation Relations for Alternating Parity Automata and Parity Games
- Tighter Bounds for the Determinisation of Büchi Automata
- scientific article; zbMATH DE number 4041274 (Why is no real title available?)
- Improved model checking of hierarchical systems
- Alternating Tree Automata and Parity Games
- Modal μ-Calculus and Alternating Tree Automata
- Expressiveness and succinctness of a logic of robustness
- Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
- Deciding Parity Games in Quasi-polynomial Time
- More Precise Partition Abstractions
- Model Checking for Action Abstraction
- Complexity of Decision Problems for Mixed and Modal Specifications
- Solving Parity Games in Big Steps
- A survey on satisfiability checking for the \(\mu \)-calculus through tree automata
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata
- Priority promotion with Parysian flair
- Size measures and alphabetic equivalence in the -calculus
- On the size of disjunctive formulas in the \(\mu\)-calculus
- A compositional approach to parity games
- An objective improvement approach to solving discounted payoff games
- Proof systems for two-way modal -calculus
- An objective improvement approach to solving discounted payoff games
- Arbitrary-arity tree automata for QCTL
This page was built for publication: Alternating tree automata, parity games, and modal \(\mu\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5952907)
