Výsledky vyhledávání - "Computer Science - Computer Science and Game Theory"
-
1
A Secure and Intelligent Data Sharing Scheme for UAV-Assisted Disaster Rescue
ISSN: 1063-6692, 1558-2566Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 01.12.2023Vydáno v IEEE/ACM Transactions on Networking (01.12.2023)Získat plný text
Journal Article -
2
Existence of EFX for two additive valuations
ISSN: 0166-218XVydáno: Elsevier BV 01.12.2023Vydáno v Discrete Applied Mathematics (01.12.2023)Získat plný text
Journal Article -
3
SEAL: A Strategy-Proof and Privacy-Preserving UAV Computation Offloading Framework
ISSN: 1556-6013, 1556-6021Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 01.01.2023Vydáno v IEEE Transactions on Information Forensics and Security (01.01.2023)Získat plný text
Journal Article -
4
Class fairness in online matching
ISSN: 0004-3702Vydáno: Elsevier BV 26.06.2023Vydáno v Artificial Intelligence (26.06.2023)Získat plný text
Journal Article -
5
On the implementation of zero-determinant strategies in repeated games
ISSN: 0096-3003Vydáno: Elsevier BV 01.03.2025Vydáno v Applied Mathematics and Computation (01.03.2025)Získat plný text
Journal Article -
6
Half-Positional Objectives Recognized by Deterministic B\"uchi Automata
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 29.08.2024Vydáno v Logical methods in computer science (29.08.2024)“…In two-player games on graphs, the simplest possible strategies are those that can be implemented without any memory. These are called positional strategies…”
Získat plný text
Journal Article -
7
TSO Games -- On the decidability of safety games under the total store order semantics
ISSN: 2075-2180, 2331-8422, 2075-2180Vydáno: Ithaca Cornell University Library, arXiv.org 02.10.2023Vydáno v Electronic proceedings in theoretical computer science (02.10.2023)“…We consider an extension of the classical Total Store Order (TSO) semantics by expanding it to turn-based 2-player safety games. During her turn, a player can…”
Získat plný text
Paper Journal Article -
8
Good-for-games $\omega$-Pushdown Automata
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 15.02.2023Vydáno v Logical methods in computer science (15.02.2023)“…We introduce good-for-games $\omega$-pushdown automata ($\omega$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed…”
Získat plný text
Journal Article -
9
A theory of Automated Market Makers in DeFi
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 01.01.2022Vydáno v Logical methods in computer science (01.01.2022)“…Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of…”
Získat plný text
Journal Article -
10
With a little help from your friends: semi-cooperative games via Joker moves
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 01.01.2025Vydáno v Logical methods in computer science (01.01.2025)“…This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from…”
Získat plný text
Journal Article -
11
Games Where You Can Play Optimally with Arena-Independent Finite Memory
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 17.01.2022Vydáno v Logical methods in computer science (17.01.2022)“…For decades, two-player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious…”
Získat plný text
Journal Article -
12
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 01.01.2022Vydáno v Logical methods in computer science (01.01.2022)“…Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity…”
Získat plný text
Journal Article -
13
Popularity on the Roommate Diversity Problem
ISSN: 0304-3975Vydáno: Springer Nature Switzerland 09.12.2023Vydáno v Theoretical Computer Science (09.12.2023)Získat plný text
Journal Article -
14
Collaborative Honeypot Defense in UAV Networks: A Learning-Based Game Approach
ISSN: 1556-6013, 1556-6021Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 26.10.2022Vydáno v IEEE Transactions on Information Forensics and Security (26.10.2022)Získat plný text
Journal Article -
15
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs
ISSN: 2751-4838, 2751-4838Vydáno: TheoretiCS Foundation e.V 31.01.2023Vydáno v TheoretiCS (31.01.2023)“…We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as…”
Získat plný text
Journal Article -
16
Stochastic Window Mean-Payoff Games
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 01.01.2025Vydáno v Logical methods in computer science (01.01.2025)“…Stochastic two-player games model systems with an environment that is both adversarial and stochastic. The adversarial part of the environment is modeled by a…”
Získat plný text
Journal Article -
17
A Game of Pawns
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 01.01.2025Vydáno v Logical methods in computer science (01.01.2025)“…We introduce and study pawn games, a class of two-player zero-sum turn-based graph games. A turn-based graph game proceeds by placing a token on an initial…”
Získat plný text
Journal Article -
18
The Theory of Universal Graphs for Infinite Duration Games
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 07.09.2022Vydáno v Logical methods in computer science (07.09.2022)“…We introduce the notion of universal graphs as a tool for constructing algorithms solving games of infinite duration such as parity games and mean payoff…”
Získat plný text
Journal Article -
19
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 09.08.2022Vydáno v Logical methods in computer science (09.08.2022)“…We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language…”
Získat plný text
Journal Article -
20
Playing Safe, Ten Years Later
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 01.01.2024Vydáno v Logical methods in computer science (01.01.2024)“…We consider two-player games over graphs and give tight bounds on the memory size of strategies ensuring safety objectives. More specifically, we show that the…”
Získat plný text
Journal Article