Pages that link to "Item:Q1391536"
From MaRDI portal
The following pages link to An improved algorithm for the evaluation of fixpoint expressions (Q1391536):
Displaying 30 items.
- Solving parity games in big steps (Q340584) (← links)
- Assume-admissible synthesis (Q520340) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- A linear algorithm to solve fixed-point equations on transition systems (Q1115196) (← links)
- An example of sequentialization of a parallel algorithm (Q1262778) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- Fast and simple nested fixpoints (Q1350911) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q1960527) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- The alternation hierarchy in fixpoint logic with chop is strict too (Q2509356) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Symmetric Strategy Improvement (Q3449491) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- (Q5079761) (← links)
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time (Q5092368) (← links)
- (Q5232902) (← links)
- Three notes on the complexity of model checking fixpoint logic with chop (Q5441546) (← links)
- Solving Parity Games in Big Steps (Q5458856) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)