Imagen de Portada

A Hyperlogic for Strategies in Stochastic Games (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gerlach, Lina, Löding, Christof, Ábrahám, Erika
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Tractable Hyperproperties for MDPs
por: Gerlach, Lina, et al.
Publicado: (2026)

Calculational Design of Hyperlogics by Abstract Interpretation
por: Cousot, Patrick, et al.
Publicado: (2024)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
por: Clairambault, Pierre, et al.
Publicado: (2023)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

Layered automata: A canonical model for automata over infinite words
por: Casares, Antonio, et al.
Publicado: (2026)

Memoryless Strategies in Stochastic Reachability Games
por: Kiefer, Stefan, et al.
Publicado: (2024)

Reachability and Safety Games under TSO Semantics (Extended Version)
por: Spengler, Stephan
Publicado: (2024)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
por: de Amorim, Pedro H. Azevedo, et al.
Publicado: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
por: Winkler, Sarah
Publicado: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
por: Acclavio, Matteo, et al.
Publicado: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
por: Pereira, Mário
Publicado: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
por: Bargmann, Lara, et al.
Publicado: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
por: Preiner, Mathias, et al.
Publicado: (2026)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
por: Aruta, Marco, et al.
Publicado: (2025)

A set-theoretical approach for ABox reasoning services (Extended Version)
por: Cantone, Domenico, et al.
Publicado: (2017)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
por: Kettmann, Pascal, et al.
Publicado: (2026)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
por: Doyen, Laurent, et al.
Publicado: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
por: Vandesande, Dieter, et al.
Publicado: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
por: Caires-Santos, Ali K., et al.
Publicado: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
por: Baldan, Paolo, et al.
Publicado: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
por: Gogacz, Tomasz, et al.
Publicado: (2026)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
por: Paulus, Joseph W. N., et al.
Publicado: (2021)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
por: Dudenhefner, Andrej
Publicado: (2026)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
por: Alrabbaa, Christian, et al.
Publicado: (2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
por: Dalmonte, Tiziano, et al.
Publicado: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
por: Faella, Marco, et al.
Publicado: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
por: Geatti, Luca, et al.
Publicado: (2024)

Localized Attractor Computations for Infinite-State Games (Full Version)
por: Schmuck, Anne-Kathrin, et al.
Publicado: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
por: Heim, Philippe, et al.
Publicado: (2026)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
por: Soares, Tiago Lopes, et al.
Publicado: (2024)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
por: Phalakarn, Kittiphon, et al.
Publicado: (2025)

Polytopal Stochastic Games
por: Castro, Pablo F., et al.
Publicado: (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
por: Baader, Franz, et al.
Publicado: (2025)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
por: Bednarczyk, Bartosz, et al.
Publicado: (2025)

Ordered Adjoint Logic (Extended Version)
por: Roshal, Sophia, et al.
Publicado: (2026)

Adjoint Natural Deduction (Extended Version)
por: Jang, Junyoung, et al.
Publicado: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
por: Niederhauser, Johannes, et al.
Publicado: (2024)