All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

5 216 projects (0,216s) •

Project

Computing and Approximating Equilibria in Games With Complex Strategy Spaces (GA24-12046S)

While there is an increasing number of practical applications of game theory, there are still severe computational limitations of the current models and algorithms used to find approximate optimal strategies. One such limit...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2024 - 2026
    • •
  • 10 559 tis. Kč
    • •
  • 10 559 tis. Kč
    • •
  • GA ČR
Project

Game Theory in Formal Analysis and Verification of Computer Systems (GA15-17564S)

The project is focussed on the development of game-theoretic methods and algorithms for formal analysis and verification of interactive computer systems. The behaviour of such systems can be understood as a game of two play...

IN - Informatika

  • 2015 - 2017
    • •
  • 6 743 tis. Kč
    • •
  • 6 743 tis. Kč
    • •
  • GA ČR
Project

Computing Equilibrium Strategies in Dynamic Games (GJ19-24384Y)

. Game theory and game-theoretic algorithms can provide robustness against an adversary, however, for many dynamic games with partial observations and uncertainty goal of the project is to reinforce the applicabili...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019 - 2022
    • •
  • 5 228 tis. Kč
    • •
  • 5 228 tis. Kč
    • •
  • GA ČR
Project

Online Solution Methods for Imperfect-Information Games (GJ18-27483Y)

Game theory is a formal framework for analyzing optimal behavior of self-computed, stored, and then used as a look-up table during game play. This strongly level game playing in a range of popular game...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2021
    • •
  • 4 832 tis. Kč
    • •
  • 4 832 tis. Kč
    • •
  • GA ČR
Project

Security Games in Extensive Form (GAP202/12/2054)

Game theory provides theoretical and algorithmic foundations for the field, are the security games. These games model interactions between a defender, which allocates target. Security games and their solut...

IN - Informatika

  • 2012 - 2014
    • •
  • 4 581 tis. Kč
    • •
  • 4 581 tis. Kč
    • •
  • GA ČR
Project

Abstractions and Extensive-Form Games with Imperfect Recall (GA15-23235S)

Non-cooperative game theory provides mathematical models of behavior algorithms for computing guaranteed strategies in abstracted games of imperfect recall. strictly competitive extensive-form games with i...

IN - Informatika

  • 2015 - 2017
    • •
  • 4 235 tis. Kč
    • •
  • 4 235 tis. Kč
    • •
  • GA ČR
Project

Algorithms for Playing Massive Imperfect-Information Games (GA22-26655S)

Game theory is a formal framework that allows computing optimal behavior in situations where multiple agents interact in a shared environment. The computational), recreational games (e.g., poker, compu...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022 - 2024
    • •
  • 9 747 tis. Kč
    • •
  • 9 747 tis. Kč
    • •
  • GA ČR
Project

Application of quantum informatics on PKI (Public Key Infrastructure) (1ET300100403)

of the application of quantum game theory for cryptology. and the problematics of archivation from the point of view of future existence of quantum computing......

IN - Informatika

  • 2004 - 2008
    • •
  • 2 526 tis. Kč
    • •
  • 2 526 tis. Kč
    • •
  • AV ČR
Project

Formal models and effective algorithms for the intelligent protection of transport infrastructures. (LH11051)

of cooperative game theory. Resulting algorithms will be analyzed both formally and empirically using a computational agent-based model of the respective target scenarios game-theoretical framework, we will develo...

JD - Využití počítačů, robotika a její aplikace

  • 2011 - 2013
    • •
  • 2 332 tis. Kč
    • •
  • 2 332 tis. Kč
    • •
  • MŠMT
Project

Algorithms for Infinite-State Discrete Systems and Games (GA18-11193S)

Algorithmic game theory provides convenient tools for modeling and analysis of the proposed project, special attention is devoted to games with infinitely many states and to games of multi-agent planning. Although ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2020
    • •
  • 9 463 tis. Kč
    • •
  • 5 660 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 5 216