Modal µ-Calculus, Model Checking and Gauß Elimination
Abstract elided by the publisher.
Related papers
- Incremental Model Checking in the Modal Mu-Calculus CAV 1994
- Faster Model Checking for the Modal Mu-Calculus CAV 1992
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus TACAS 1996
- A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus CAV 1991
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- A Type-Based HFL Model Checking Algorithm APLAS 2019
- Normalization by evaluation for modal dependent type theory JFP 2023