Game-based local model checking for the coalgebraic -calculus

DOI10.4230/LIPICS.CONCUR.2019.35MaRDI QIDQ5875397FDOQ5875397

Authors: Daniel Hausmann, Lutz Schröder 

Publication date: 3 February 2023

Recommendations

• Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
• Optimal satisfiability checking for arithmetic \(\mu\)-calculi
• scientific article; zbMATH DE number 2087626

zbMATH Keywords

model checkingcoalgebraic logicparity games\(\mu\)-calculusprobabilistic \(\mu\)-calculusgraded \(\mu\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Alternating-time temporal logic
• Universal coalgebra: A theory of systems
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Automata, logics, and infinite games. A guide to current research
• Concurrent dynamic logic
• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• On model checking for the \(\mu\)-calculus and its fragments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enriched MU-Calculi Module Checking
• Local model checking in the modal mu-calculus
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimal satisfiability checking for arithmetic \(\mu\)-calculi
• Deciding parity games in quasipolynomial time
• Monadic second-order logic and bisimulation invariance for coalgebras
• Parity games and automata for game logic
• EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
• Lattice-theoretic progress measures and coalgebraic model checking
• The fixpoint-iteration algorithm for parity games
• Strong completeness of coalgebraic modal logics
• Parity Automata for Quantitative Linear Time Logics

Cited In (4)

• Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi
• Quasipolynomial computation of nested fixpoints
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
• Model-checking games for typed \(\lambda\)-calculi

This page was built for publication: Game-based local model checking for the coalgebraic \(\mu\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875397)