Cover Image

Repairing General Game Descriptions (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Yifan, Mittelmann, Munyque, Murano, Aniello, Saffidine, Abdallah, Thielscher, Michael
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of Robust Multi-Agent Systems
by: Berthon, Raphaël, et al.
Published: (2026)

Natural Strategic Ability in Stochastic Multi-Agent Systems
by: Berthon, Raphaël, et al.
Published: (2024)

Inquisitive Team Semantics of LTL
by: Bozzelli, Laura, et al.
Published: (2025)

An ASP-based approach to Solving General Stochastic Two-Player Games
by: He, Yifan, et al.
Published: (2026)

Rational Capability in Concurrent Games
by: Li, Yinfeng, et al.
Published: (2025)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2026)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)

A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)

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

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

Module checking of pushdown multi-agent systems
by: Bozzelli, Laura, et al.
Published: (2020)

An extended type system with lambda-typed lambda-expressions (extended version)
by: Weber, Matthias
Published: (2018)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
by: Dardinier, Thibault, et al.
Published: (2023)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
by: Neves, Renato
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
by: D'Argenio, Pedro R., et al.
Published: (2025)

Validity of contextual formulas (extended version)
by: Esparza, Javier, et al.
Published: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

A categorical account of composition methods in logic (extended version)
by: Jakl, Tomáš, et al.
Published: (2024)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

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

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
by: Mangel, Éléonore, et al.
Published: (2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)

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

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
by: Budde, Carlos E., et al.
Published: (2025)

Trace Repair for Temporal Behavior Trees
by: Schirmer, Sebastian, et al.
Published: (2025)

Modulo quantifiers over functional vocabularies extending addition
by: Baskar, A., et al.
Published: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
by: Habermehl, Peter, et al.
Published: (2022)