Branislav Bosanský

According to our database, Branislav Bosanský authored at least 75 papers between 2008 and 2024.

Collaborative distances:

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

2024

How to Train your Antivirus: RL-based Hardening through the Problem-Space.

Jacopo Cortellazzi, Ilias Tsingenopoulos, Branislav Bosanský, Simone Aonzo, Davy Preuveneers, Wouter Joosen, Fabio Pierazzi, Lorenzo Cavallaro

CoRR, 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

2022

Avast-CTU Public CAPE Dataset.

Branislav Bosanský, Dominik Kouba, Ondrej Manhal, Thorsten Sick, Viliam Lisý, Jakub Kroustek, Petr Somol

CoRR, 2022

Explaining Classifiers Trained on Raw Hierarchical Multiple-Instance Data.

Tomás Pevný, Viliam Lisý, Branislav Bosanský, Petr Somol, Michal Pechoucek

CoRR, 2022

Cyber Deception Against Zero-Day Attacks: A Game Theoretic Approach.

Md. Abu Sayed, Ahmed H. Anwar, Christopher Kiekintveld, Branislav Bosanský, Charles A. Kamhoua

Proceedings of the Decision and Game Theory for Security - 13th International Conference, 2022

2021

Computing Stackelberg Equilibrium with Memory in Sequential Games.

Aditya Aradhye, Branislav Bosanský, Michael Hlavácek

CoRR, 2021

Improving Robustness of Malware Classifiers using Adversarial Strings Generated from Perturbed Latent Representations.

Marek Galovic, Branislav Bosanský, Viliam Lisý

CoRR, 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

Computing Quantal Stackelberg Equilibrium in Extensive-Form Games.

Jakub Cerný, Viliam Lisý, Branislav Bosanský, Bo An

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games.

Jirí Cermák, Viliam Lisý, Branislav Bosanský

Artif. Intell., 2020

Finite State Machines Play Extensive-Form Games.

Jakub Cerný, Branislav Bosanský, Bo An

Proceedings of the EC '20: The 21st ACM Conference on Economics and Computation, 2020

Dinkelbach-Type Algorithm for Computing Quantal Stackelberg Equilibrium.

Jakub Cerný, Viliam Lisý, Branislav Bosanský, Bo An

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games (Extended Abstract).

Jirí Cermák, Viliam Lisý, Branislav Bosanský

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Using One-Sided Partially Observable Stochastic Games for Solving Zero-Sum Security Games with Sequential Attacks.

Petr Tomásek, Branislav Bosanský, Thanh Hong Nguyen

Proceedings of the Decision and Game Theory for Security - 11th International Conference, 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

Hardening networks against strategic attackers using attack graph games.

Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld, Michal Pechoucek

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

Using Classical Planning in Adversarial Problems.

Pavel Rytír, Lukás Chrpa, Branislav Bosanský

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

When Players Affect Target Values: Modeling and Solving Dynamic Partially Observable Security Games.

Xinrun Wang, Milind Tambe, Branislav Bosanský, Bo An

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

Tackling Sequential Attacks in Security Games.

Thanh Hong Nguyen, Amulya Yadav, Branislav Bosanský, Yu Liang

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

Evaluating Models of Human Behavior in an Adversarial Multi-Armed Bandit Problem.

Marcus Gutierrez, Jakub Cerný, Noam Ben-Asher, Efrat Aharonov-Majar, Branislav Bosanský, Christopher Kiekintveld, Cleotilde Gonzalez

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 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

Constructing Imperfect Recall Abstractions to Solve Large Extensive-Form Games.

Jiri Cermak, Viliam Lisý, Branislav Bosanský

CoRR, 2018

Incremental Strategy Generation for Stackelberg Equilibria in Extensive-Form Games.

Jakub Cerný, Branislav Bosanský, Christopher Kiekintveld

Proceedings of the 2018 ACM Conference on Economics and Computation, 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

An Initial Study of Targeted Personality Models in the FlipIt Game.

Anjon Basak, Jakub Cerný, Marcus Gutierrez, Shelby R. Curtis, Charles A. Kamhoua, Daniel Jones, Branislav Bosanský, Christopher Kiekintveld

Proceedings of the Decision and Game Theory for Security - 9th International Conference, 2018

2017

Computation of Stackelberg Equilibria of Finite Sequential Games.

Branislav Bosanský, Simina Brânzei, Kristoffer Arnsfelt Hansen, Troels Bjerre Lund, Peter Bro Miltersen

ACM Trans. Economics and Comput., 2017

Comparing Strategic Secrecy and Stackelberg Commitment in Security Games.

Qingyu Guo, Bo An, Branislav Bosanský, Christopher Kiekintveld

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games.

Jiri Cermak, Branislav Bosanský, Viliam Lisý

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 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

Strategic Information Revelation and Commitment in Security Games.

Qingyu Guo, Bo An, Branislav Bosanský, Christopher Kiekintveld

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

Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games.

Jiri Cermak, Branislav Bosanský, Michal Pechoucek

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

Towards Solving Imperfect Recall Games.

Jiri Cermak, Branislav Bosanský

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

2016

Case Studies of Network Defense with Attack Graph Games.

Karel Durkota, Viliam Lisý, Christopher Kiekintveld, Branislav Bosanský, Michal Pechoucek

IEEE Intell. Syst., 2016

Algorithms for computing strategies in two-player simultaneous move games.

Branislav Bosanský, Viliam Lisý, Marc Lanctot, Jirí Cermák, Mark H. M. Winands

Artif. Intell., 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

Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-Form Games.

Jiri Cermak, Branislav Bosanský, Karel Durkota, Viliam Lisý, Christopher Kiekintveld

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Optimal Network Security Hardening Using Attack Graph Games.

Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Approximate Solutions for Attack Graph Games with Imperfect Information.

Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld

Proceedings of the Decision and Game Theory for Security - 6th International Conference, 2015

Game-Theoretic Algorithms for Optimal Network Security Hardening Using Attack Graphs.

Karel Durkota, Viliam Lisý, Christopher Kiekintveld, Branislav Bosanský

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games.

Jirí Cermák, Branislav Bosanský, Nicola Gatti

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies.

Branislav Bosanský, Albert Xin Jiang, Milind Tambe, Christopher Kiekintveld

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games.

Branislav Bosanský, Jiri Cermak

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information.

Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek

J. Artif. Intell. Res., 2014

Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games.

Jirí Cermák, Branislav Bosanský, Viliam Lisý

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Solving adversarial patrolling games with bounded error: (extended abstract).

Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Convergence of Monte Carlo Tree Search in Simultaneous Move Games.

Viliam Lisý, Vojtech Kovarík, Marc Lanctot, Branislav Bosanský

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games.

Branislav Bosanský, Viliam Lisý, Jiri Cermak, Roman Vitek, Michal Pechoucek

Proceedings of the IJCAI 2013, 2013

Double-oracle algorithm for computing an exact nash equilibrium in zero-sum extensive-form games.

Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Jiri Cermak, Michal Pechoucek

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Solving extensive-form games with double-oracle methods.

Branislav Bosanský

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Game Theoretic Model of Strategic Honeypot Selection in Computer Networks.

Radek Píbil, Viliam Lisý, Christopher Kiekintveld, Branislav Bosanský, Michal Pechoucek

Proceedings of the Decision and Game Theory for Security - Third International Conference, 2012

Game-theoretic Approach to Adversarial Plan Recognition.

Viliam Lisý, Radek Píbil, Jan Stiborek, Branislav Bosanský, Michal Pechoucek

Proceedings of the ECAI 2012, 2012

Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect Information.

Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek

Proceedings of the ECAI 2012, 2012

Game-theoretic resource allocation for malicious packet detection in computer networks.

Ondrej Vanek, Zhengyu Yin, Manish Jain, Branislav Bosanský, Milind Tambe, Michal Pechoucek

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Tactical operations of multi-robot teams in urban warfare (demonstration).

Peter Novák, Antonín Komenda, Viliam Lisý, Branislav Bosanský, Michal Cáp, Michal Pechoucek

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Anytime algorithms for multi-agent visibility-based pursuit-evasion games.

Viliam Lisý, Branislav Bosanský, Michal Pechoucek

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Extending Security Games to Defenders with Constrained Mobility.

Ondrej Vanek, Branislav Bosanský, Michal Jakob, Viliam Lisý, Michal Pechoucek

Proceedings of the Game Theory for Security, 2012

Strategy Representation Analysis for Patrolling Games.

Branislav Bosanský, Ondrej Vanek, Michal Pechoucek

Proceedings of the Game Theory for Security, 2012

2011

Integration of Procedural Knowledge in Multi-Agent Systems in Medicine.

Lenka Lhotská, Branislav Bosanský, Jaromir Dolezal

Proceedings of the Information Technology in Bio- and Medical Informatics, 2011

Towards Cooperation in Adversarial Search with Confidentiality.

Branislav Bosanský, Viliam Lisý, Michal Pechoucek

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2011

Iterative game-theoretic route selection for hostile area transit and patrolling.

Ondrej Vanek, Michal Jakob, Viliam Lisý, Branislav Bosanský, Michal Pechoucek

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

AgentC: agent-based system for securing maritime transit.

Michal Jakob, Ondrej Vanek, Branislav Bosanský, Ondrej Hrstka, Michal Pechoucek

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Computing time-dependent policies for patrolling games with mobile targets.

Branislav Bosanský, Viliam Lisý, Michal Jakob, Michal Pechoucek

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Transiting areas patrolled by a mobile adversary.

Ondrej Vanek, Branislav Bosanský, Michal Jakob, Michal Pechoucek

Proceedings of the 2010 IEEE Conference on Computational Intelligence and Games, 2010

Agent subset adversarial search for complex non-cooperative domains.

Viliam Lisý, Branislav Bosanský, Roman Vaculín, Michal Pechoucek

Proceedings of the 2010 IEEE Conference on Computational Intelligence and Games, 2010

2009

Goal-Based Game Tree Search for Complex Domains.

Viliam Lisý, Branislav Bosanský, Michal Jakob, Michal Pechoucek

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Goal-based Adversarial Search - Searching Game Trees in Complex Domains using Goal-based Heuristic.

Viliam Lisý, Branislav Bosanský, Michal Jakob, Michal Pechoucek

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Adversarial search with procedural knowledge heuristic.

Viliam Lisý, Branislav Bosanský, Michal Jakob, Michal Pechoucek

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Agent-Based Simulation of Business Processes in a Virtual World.

Branislav Bosanský, Cyril Brom

Proceedings of the Hybrid Artificial Intelligence Systems, Third International Workshop, 2008