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

    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…”
    Získat plný text
    Journal Article
  4. 4
  5. 5
  6. 6
  7. 7

    Arena-Independent Finite-Memory Determinacy in Stochastic Games Autor Bouyer, Patricia, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre

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

    Playing Stochastically in Weighted Timed Games to Emulate Memory Autor Monmege, Benjamin, Parreaux, Julie, Reynier, Pierre-Alain

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

    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
  11. 11

    Decidability of One-Clock Weighted Timed Games with Arbitrary Weights Autor Monmege, Benjamin, Parreaux, Julie, Reynier, Pierre-Alain

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

    Subgame-perfect Equilibria in Mean-payoff Games (journal version) Autor Brice, Léonard, Bogaard, Marie van den, Raskin, Jean-François

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

    Optimal controller synthesis for timed systems Autor Busatto-Gaston, Damien, Monmege, Benjamin, Reynier, Pierre-Alain

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

    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 so far…”
    Získat plný text
    Journal Article
  16. 16

    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)
    “… 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. 17

    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…”
    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 games…”
    Získat plný text
    Journal Article
  19. 19

    Distributed Asynchronous Games With Causal Memory are Undecidable Autor Gimbert, Hugo

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

    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…”
    Získat plný text
    Journal Article