:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Nayak, Satya Prakash, Neider, Daniel, Zimmermann, Martin
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science Computer Science and Game Theory
Accesso online:	https://arxiv.org/abs/2204.10912
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
di: Feeken, Linda, et al.
Pubblicazione: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2024)

On the Existence of Reactive Strategies Resilient to Delay
di: Fränzle, Martin, et al.
Pubblicazione: (2023)

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

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
di: Probine, Caleb, et al.
Pubblicazione: (2025)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

Faster Game Solving by Fixpoint Acceleration
di: Hausmann, Daniel
Pubblicazione: (2024)

Computing Adequately Permissive Assumptions for Synthesis
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

Generalised Reachability Games Revisited
di: Bose, Sougata, et al.
Pubblicazione: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
di: Yan, Rui, et al.
Pubblicazione: (2022)

Are Large Random Graphs Always Safe to Hide?
di: Chakraborty, Sourav, et al.
Pubblicazione: (2025)

Seven kinds of equivalent models for generalized coalition logics
di: Chen, Zixuan, et al.
Pubblicazione: (2025)

Games with $ω$-Automatic Preference Relations
di: Bruyère, Véronique, et al.
Pubblicazione: (2025)

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

Scaling CheckMate for Game-Theoretic Security
di: Rain, Sophie, et al.
Pubblicazione: (2024)

Antichains for Concurrent Parameterized Games
di: Bertrand, Nathalie, et al.
Pubblicazione: (2025)

Polytopal Stochastic Games
di: Castro, Pablo F., et al.
Pubblicazione: (2025)

Regular Games with Imperfect Information Are Not That Regular
di: Doyen, Laurent, et al.
Pubblicazione: (2024)

Concurrent Strategies on Games with Algebras
di: Huriot-Tattegrain, Sacha, et al.
Pubblicazione: (2024)

The Complexity of Games with Randomised Control
di: Bahmani, Sarvin, et al.
Pubblicazione: (2026)

Computational Modelling for Combinatorial Game Strategies
di: Diaconescu, Răzvan
Pubblicazione: (2024)

Temporal Explorability Games
di: Austin, Pete, et al.
Pubblicazione: (2024)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
di: Rajasekaran, Senthil, et al.
Pubblicazione: (2025)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
di: Leneutre, Jean, et al.
Pubblicazione: (2024)

Synthesizing Permissive Winning Strategy Templates for Parity Games
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

Completeness of coalition logics with seriality, independence of agents, or determinism
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

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

Solving Two-Player Games under Progress Assumptions
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2023)

State Definition for Conflict Analysis with Four-valued Logic
di: Kato, Yukiko
Pubblicazione: (2022)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
di: Grover, Kush, et al.
Pubblicazione: (2026)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
di: Fidan, Müge, et al.
Pubblicazione: (2025)

Dicey Games: Shared Sources of Randomness in Distributed Systems
di: Brice, Léonard, et al.
Pubblicazione: (2026)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
di: Gutierrez, Julian, et al.
Pubblicazione: (2023)

Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

A theory of Lending Protocols in DeFi
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Quantitative Strategy Templates
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

Fair Quantitative Games
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
di: Bouyer, Patricia, et al.
Pubblicazione: (2022)