Karel Horák

According to our database, Karel Horák authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Iterative algorithms for solving one-sided partially observable stochastic shortest path games.

Petr Tomásek, Karel Horák, Branislav Bosanský

Int. J. Approx. Reason., 2024

2023

Solving zero-sum one-sided partially observable stochastic games.

Karel Horák, Branislav Bosanský, Vojtech Kovarík, Christopher Kiekintveld

Artif. Intell., March, 2023

2021

Solving Partially Observable Stochastic Shortest-Path Games.

Petr Tomásek, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Discovering Imperfectly Observable Adversarial Actions using Anomaly Detection.

Olga Petrova, Karel Durkota, Galina Alperovich, Karel Horák, Michal Najman, Branislav Bosanský, Viliam Lisý

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Optimizing honeypot strategies against dynamic lateral movement using partially observable stochastic games.

Karel Horák, Branislav Bosanský, Petr Tomásek, Christopher Kiekintveld, Charles A. Kamhoua

Comput. Secur., 2019

Compact Representation of Value Function in Partially Observable Stochastic Games.

Karel Horák, Branislav Bosanský, Christopher Kiekintveld, Charles A. Kamhoua

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Solving Partially Observable Stochastic Games with Public Observations.

Karel Horák, Branislav Bosanský

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Approximating maxmin strategies in imperfect recall games using A-loss recall property.

Jirí Cermák, Branislav Bosanský, Karel Horák, Viliam Lisý, Michal Pechoucek

Int. J. Approx. Reason., 2018

Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs.

Karel Horák, Branislav Bosanský, Krishnendu Chatterjee

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games.

Karel Horák, Branislav Bosanský

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall.

Branislav Bosanský, Jiri Cermak, Karel Horák, Michal Pechoucek

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Manipulating Adversary's Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security.

Karel Horák, Quanyan Zhu, Branislav Bosanský

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers.

Karel Durkota, Viliam Lisý, Christopher Kiekintveld, Karel Horák, Branislav Bosanský, Tomás Pevný

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games.

Karel Horák, Branislav Bosanský, Michal Pechoucek

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A Point-Based Approximate Algorithm for One-Sided Partially Observable Pursuit-Evasion Games.

Karel Horák, Branislav Bosanský

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016