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
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…”
Získat plný text
Journal Article -
4
Almost envy-free allocations with connected bundles
ISSN: 0899-8256Vydáno: Elsevier BV 01.01.2022Vydáno v Games and Economic Behavior (01.01.2022)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
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 -
7
Arena-Independent Finite-Memory Determinacy in Stochastic Games
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 01.12.2023Vydáno v Logical methods in computer science (01.12.2023)“…We study stochastic zero-sum games on graphs, which are prevalent tools to model decision-making in presence of an antagonistic opponent in a random environment…”
Získat plný text
Journal Article -
8
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 -
9
Playing Stochastically in Weighted Timed Games to Emulate Memory
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 26.02.2025Vydáno v Logical methods in computer science (26.02.2025)“…Weighted timed games are two-player zero-sum games played in a timed automaton equipped with integer weights…”
Získat plný text
Journal Article -
10
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 -
11
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 01.01.2025Vydáno v Logical methods in computer science (01.01.2025)“…Weighted Timed Games (WTG for short) are the most widely used model to describe controller synthesis problems involving real-time issues…”
Získat plný text
Journal Article -
12
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 25.10.2023Vydáno v Logical methods in computer science (25.10.2023)“…In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives…”
Získat plný text
Journal Article -
13
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 -
14
Optimal controller synthesis for timed systems
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 15.03.2023Vydáno v Logical methods in computer science (15.03.2023)“…Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a target…”
Získat plný text
Journal Article -
15
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 so far…”
Získat plný text
Journal Article -
16
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)“… We present a theory of AMMs. The core of our theory is an abstract operational model of the interactions between users and AMMs, which can be concretised by instantiating the economic mechanisms…”
Získat plný text
Journal Article -
17
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…”
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 games…”
Získat plný text
Journal Article -
19
Distributed Asynchronous Games With Causal Memory are Undecidable
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science Association 08.09.2022Vydáno v Logical methods in computer science (08.09.2022)“…We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of…”
Získat plný text
Journal Article -
20
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…”
Získat plný text
Journal Article