Výsledky vyhledávání - "Computer Science - Computer Science and Game Theory"

Upřesnit hledání
  1. 1

    A Secure and Intelligent Data Sharing Scheme for UAV-Assisted Disaster Rescue Autor Yuntao Wang, Zhou Su, Qichao Xu, Ruidong Li, Tom H. Luan, Pinghui Wang

    ISSN: 1063-6692, 1558-2566
    Vydáno: Institute of Electrical and Electronics Engineers (IEEE) 01.12.2023
    Vydáno v IEEE/ACM Transactions on Networking (01.12.2023)
    Získat plný text
    Journal Article
  2. 2

    Existence of EFX for two additive valuations Autor Mahara, Ryoga

    ISSN: 0166-218X
    Vydáno: Elsevier BV 01.12.2023
    Vydáno v Discrete Applied Mathematics (01.12.2023)
    Získat plný text
    Journal Article
  3. 3
  4. 4
  5. 5
  6. 6

    Half-Positional Objectives Recognized by Deterministic B\"uchi Automata Autor Bouyer, Patricia, Casares, Antonio, Randour, Mickael, Vandenhove, Pierre

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 29.08.2024
    Vydá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. 7

    TSO Games -- On the decidability of safety games under the total store order semantics Autor Spengler, Stephan, Sil, Sanchari

    ISSN: 2075-2180, 2331-8422, 2075-2180
    Vydáno: Ithaca Cornell University Library, arXiv.org 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. 8

    Good-for-games $\omega$-Pushdown Automata Autor Lehtinen, Karoliina, Zimmermann, Martin

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science Association 15.02.2023
    Vydá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. 9

    A theory of Automated Market Makers in DeFi Autor Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 01.01.2022
    Vydá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. 10

    With a little help from your friends: semi-cooperative games via Joker moves Autor Bos, Petra van den, Stoelinga, Marielle

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 01.01.2025
    Vydá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. 11

    Games Where You Can Play Optimally with Arena-Independent Finite Memory Autor Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science Association 17.01.2022
    Vydá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. 12

    A Recursive Approach to Solving Parity Games in Quasipolynomial Time Autor Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven, Wojtczak, Dominik

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science Association 01.01.2022
    Vydá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. 13

    Popularity on the Roommate Diversity Problem Autor Steven Ge, Toshiya Itoh

    ISSN: 0304-3975
    Vydáno: Springer Nature Switzerland 09.12.2023
    Vydáno v Theoretical Computer Science (09.12.2023)
    Získat plný text
    Journal Article
  14. 14
  15. 15

    Characterizing Positionality in Games of Infinite Duration over Infinite Graphs Autor Ohlmann, Pierre

    ISSN: 2751-4838, 2751-4838
    Vydáno: TheoretiCS Foundation e.V 31.01.2023
    Vydá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. 16

    Stochastic Window Mean-Payoff Games Autor Doyen, Laurent, Gaba, Pranshu, Guha, Shibashis

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 01.01.2025
    Vydá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. 17

    A Game of Pawns Autor Avni, Guy, Ghorpade, Pranav, Guha, Shibashis

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 01.01.2025
    Vydá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. 18

    The Theory of Universal Graphs for Infinite Duration Games Autor Colcombet, Thomas, Fijalkow, Nathanaël, Gawrychowski, Paweł, Ohlmann, Pierre

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science Association 07.09.2022
    Vydá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. 19

    Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy Autor Bisping, Benjamin, Jansen, David N., Nestmann, Uwe

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science e.V 09.08.2022
    Vydá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. 20

    Playing Safe, Ten Years Later Autor Colcombet, Thomas, Fijalkow, Nathanaël, Horn, Florian

    ISSN: 1860-5974, 1860-5974
    Vydáno: Logical Methods in Computer Science Association 01.01.2024
    Vydá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