Enriched MU-Calculi Module Checking
From MaRDI portal
Recommendations
- Enriched μ-Calculi Module Checking
- Enriched μ–Calculus Pushdown Module Checking
- The mu-calculus and Model Checking
- The Complexity of Enriched μ-Calculi
- The Complexity of Enriched Mu-Calculi
- scientific article; zbMATH DE number 1059247
- On model checking for the \(\mu\)-calculus and its fragments
- Model-checking the higher-dimensional modal \(\mu\)-calculus
- -calculus model checking in Maude
- Decomposition theorems and model-checking for the modal \(\mu\)-calculus
Cited in
(19)- The Complexity of Enriched μ-Calculi
- On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
- Model-checking graded computation-tree logic with finite path semantics
- Enriched μ–Calculus Pushdown Module Checking
- CTL^ with graded path modalities
- Reasoning about graded strategy quantifiers
- Cycle detection in computation tree logic
- Module checking of pushdown multi-agent systems
- Game-based local model checking for the coalgebraic \(\mu\)-calculus
- scientific article; zbMATH DE number 7439738 (Why is no real title available?)
- Ordered multi-stack visibly pushdown automata
- Reasoning about strategies: on the model-checking problem
- Enriched μ-Calculi Module Checking
- Pushdown module checking
- The Complexity of Enriched Mu-Calculi
- Graded modalities in strategy logic
- Model checking for hybrid branching-time logics
- The fully hybrid \(\mu\)-calculus
- Automata-theoretic decision of timed games
This page was built for publication: Enriched MU-Calculi Module Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535606)
