Image de couverture de livre

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hausmann, Daniel, Humml, Merlin, Prucker, Simon, Schröder, Lutz
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
par: Nakamura, Yoshiki
Publié: (2023)

Halting Recurrent GNNs and the Graded $μ$-Calculus
par: Bollen, Jeroen, et autres
Publié: (2025)

Improving the Diproche CNL through Autoformalization via Large Language Models
par: Carl, Merlin
Publié: (2023)

Non-expansive Fuzzy ALC
par: Gebhart, Stefan, et autres
Publié: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
par: Gebhart, Stefan, et autres
Publié: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
par: Gerlach, Lina, et autres
Publié: (2025)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
par: Cailler, Julie, et autres
Publié: (2025)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

Efficient Evaluation of Arbitrary Relational Calculus Queries
par: Raszyk, Martin, et autres
Publié: (2022)

Efficient Coalgebraic Partition Refinement
par: Dorsch, Ulrich, et autres
Publié: (2017)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Neural Model Checking
par: Giacobbe, Mirco, et autres
Publié: (2024)

Distributional Probabilistic Model Checking
par: Elsayed-Aly, Ingy, et autres
Publié: (2023)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Probabilistic Model Checking: Applications and Trends
par: Kwiatkowska, Marta, et autres
Publié: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
par: Duret-Lutz, Alexandre, et autres
Publié: (2025)

Relators and Notions of Simulation Revisited
par: Goncharov, Sergey, et autres
Publié: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
par: Goncharov, Sergey, et autres
Publié: (2026)

Graded Monads and Behavioural Equivalence Games
par: Ford, Chase, et autres
Publié: (2022)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
par: Lyon, Tim S.
Publié: (2026)

Integrating Loop Acceleration into Bounded Model Checking
par: Frohn, Florian, et autres
Publié: (2024)

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
par: Tulcan, Radu-Florin, et autres
Publié: (2026)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

Infinite State Model Checking by Learning Transitive Relations
par: Frohn, Florian, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Functional Reduction to Speed Up Bounded Model Checking
par: Yu, Changyuan, et autres
Publié: (2025)