Pages that link to "Item:Q3176384"

The following pages link to The mu-calculus and Model Checking (Q3176384):

Displaying 31 items.

• Distributed symbolic model checking for \(\mu\)-calculus (Q816198) (← links)
• Mu-calculus path checking (Q1045942) (← links)
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
• Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
• A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
• Temporal refinements for guarded recursive types (Q2233479) (← links)
• Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
• Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249) (← links)
• Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
• Metalevel transformation of strategies (Q2667189) (← links)
• Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking (Q2845490) (← links)
• Canonicity results for mu-calculi: an algorithmic approach (Q2983395) (← links)
• (Q3023539) (← links)
• Abstraction and Abstraction Refinement (Q3176371) (← links)
• Combining Model Checking and Deduction (Q3176378) (← links)
• Graph Games and Reactive Synthesis (Q3176385) (← links)
• Enriched MU-Calculi Module Checking (Q3535606) (← links)
• (Q4353562) (← links)
• $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
• (Q4972736) (← links)
• (Q5020529) (← links)
• Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
• (Q5089290) (← links)
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)
• Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
• Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks (Q6535461) (← links)
• Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6563045) (← links)
• Complexity results for modal logic with recursion via translations and tableaux (Q6597964) (← links)
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
• Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6649515) (← links)