Games and Modal Mu-Calculus
No abstract available.
DOI 10.1007/3-540-61042-1_51
Related papers
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- Attracting Tangles to Solve Parity Games CAV 2018
- Reasoning about nondeterminism in programs PLDI 2013
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Modal µ-Calculus, Model Checking and Gauß Elimination TACAS 1995
- Incremental Model Checking in the Modal Mu-Calculus CAV 1994
- A Verified Model Checker for the Modal µ-calculus in Coq TACAS 1998