The mu-calculus and Model Checking (Q3176384): Difference between revisions

@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees
+Normal rank
@@ Property / cites work @@
+A linear algorithm to solve fixed-point equations on transition systems
+Normal rank
@@ Property / cites work @@
+Q3086918
@@ Property / cites work: Q3086918 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular tree languages definable in FO and in FO             <sub>               <i>mod</i>             </sub>
+Normal rank
@@ Property / cites work @@
+Game logic is strong enough for parity games
@@ Property / cites work: Game logic is strong enough for parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Entanglement and the complexity of directed graphs
+Normal rank
@@ Property / cites work @@
+The variable hierarchy of the \(\mu\)-calculus is strict
+Normal rank
@@ Property / cites work @@
+Parity games on undirected graphs
@@ Property / cites work: Parity games on undirected graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551132
@@ Property / cites work: Q4551132 / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Games and Reactive Synthesis
@@ Property / cites work: Graph Games and Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+An Extension of Muchnik's Theorem
@@ Property / cites work: An Extension of Muchnik's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Piecewise testable tree languages
@@ Property / cites work: Piecewise testable tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Wreath Products of Forest Algebras, with Applications to Tree Logics
+Normal rank
@@ Property / cites work @@
+Characterizing EF and EX tree logics
@@ Property / cites work: Characterizing EF and EX tree logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086921
@@ Property / cites work: Q3086921 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched Mu-Calculi
@@ Property / cites work: The Complexity of Enriched Mu-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Timed modal logics for real-time systems. Specification, verification and control
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5606989
@@ Property / cites work: Q5606989 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+On modal  -calculus over reflexive symmetric graphs
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Inflationary fixed points in modal logic
@@ Property / cites work: Inflationary fixed points in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Model checking games for the quantitative \(\mu \)-calculus
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
+Normal rank
@@ Property / cites work @@
+Q5365038
@@ Property / cites work: Q5365038 / rank @@
+Normal rank
@@ Property / cites work @@
+The Modal μ-Calculus Caught Off Guard
@@ Property / cites work: The Modal μ-Calculus Caught Off Guard / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect Information Stochastic Priority Games
@@ Property / cites work: Perfect Information Stochastic Priority Games / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded fixed point logics and the monadic theory of countable trees.
+Normal rank
@@ Property / cites work @@
+Back and forth between guarded and modal logics
@@ Property / cites work: Back and forth between guarded and modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite model theory and its applications.
@@ Property / cites work: Finite model theory and its applications. / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+On Nonterminating Stochastic Games
@@ Property / cites work: On Nonterminating Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4825712
@@ Property / cites work: Q4825712 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and higher-order recursion schemes for verification of higher-order programs
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Theory and Model Checking
@@ Property / cites work: Automata Theory and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+Q4006522
@@ Property / cites work: Q4006522 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Model Checking
@@ Property / cites work: Interpolation and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence of game and denotational semantics for the probabilistic mu-calculus
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Clique-Width and Parity Games
@@ Property / cites work: Clique-Width and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+A decidable characterization of locally testable tree languages
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+On the frequency of the transfer paradox
@@ Property / cites work: On the frequency of the transfer paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+Normal rank
@@ Property / cites work @@
+Büchi Complementation Made Tight
@@ Property / cites work: Büchi Complementation Made Tight / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945246
@@ Property / cites work: Q4945246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346281
@@ Property / cites work: Q3346281 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+Q3219755
@@ Property / cites work: Q3219755 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+Q4804886
@@ Property / cites work: Q4804886 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Church’s Problem and a Tour through Automata Theory
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086936
@@ Property / cites work: Q3086936 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank