Publications

Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail

Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail

Horák, K., Bošanský, B. 2017 Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games, detail

Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail

Čermák, J., Bošanský, B., Lisý, V. 2017 An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games, detail

Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail

Horák, K., Zhu, Q., Bošanský, B. 2017 Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security, detail

Durkota, K., Lisý, V., Kiekintveld, C., Horák, K., Bošanský, B., Pevný, T. 2017 Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers, detail

Horák, K., Bošanský, B., Pěchouček, M. 2017 Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games, detail

Čermák, J., Bošanský, B. 2017 Towards Solving Imperfect Recall Games, detail

Qingyu, G., An, B., Bošanský, B., Kiekintveld, C. 2017 Comparing Strategic Secrecy and Stackelberg Commitment in Security Games, detail

Bošanský, B., Branzei, S., Hansen, K.A., Lund, T.B., Miltersen, P.B. 2017 Computation of Stackelberg Equilibria of Finite Sequential Games, detail

Saska, M., Báča, T., Thomas, J, Chudoba, J., Přeučil, L., Krajnik, T, Faigl, J., Loianno, G, Kumar, V 2017 System for deployment of groups of unmanned micro aerial vehicles in GPS-denied environments using onboard visual relative localization, detail

Pěnička, R., Faigl, J., Váňa, P., Saska, M. 2017 Dubins Orienteering Problem, detail

Pěnička, R., Faigl, J., Váňa, P., Saska, M. 2017 Dubins Orienteering Problem with Neighborhoods, detail

Selecký, M., Faigl, J., Rollo, M. 2017 Mixed Reality Simulation for Incremental Development of Multi-UAV Systems, detail

Faigl, J., Pěnička, R. 2017 On Close Enough Orienteering Problem with Dubins Vehicle, detail

Váňa, P., Faigl, J., Sláma, J., Pěnička, R. 2017 Data Collection Planning with Dubins Airplane Model and Limited Travel Budget, detail

Čížek, P., Faigl, J. 2017 RNN-based Visual Obstacle Avoidance with a CPG Controlled Hexapod Walking Robot, detail

Faigl, J., Váňa, P. 2017 Unsupervised learning for surveillance planning with team of aerial vehicles, detail

Faigl, J., Váňa, P., Saska, M., Báča, T., Spurný, V. 2017 On solution of the Dubins touring problem, detail

Faigl, J. 2017 Self-organizing map for orienteering problem with dubins vehicle, detail

Čížek, P., Faigl, J., Bayer, J. 2017 Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot, detail

Milička, P., Čížek, P., Faigl, J. 2017 Neural based obstacle avoidance with CPG controlled hexapod walking robot, detail

Čížek, P., Masri, D., Faigl, J. 2017 Foothold Placement Planning with a Hexapod Crawling Robot, detail

Váňa, P., Faigl, J., Sláma, J., Pěnička, R. 2017 Data Collection Planning with Limited Budget for Dubins Airplane, detail

Faigl, J. 2017 On Self-Organizing Maps for Orienteering Problems, detail

Nowicki, M.R., Belter, D., Kostusiak, A., Čížek, P., Faigl, J., Skrzypczyński, P. 2017 An experimental study on feature-based SLAM for multi-legged robots with RGB-D sensors, detail

Hammerschmidt, C.A., García, S., Verwer, S., State, R. 2017 Reliable Machine Learning for Networking: Key Issues and Approaches, detail

Hrnčíř, J., Žilecký, P., Song, Q., Jakob, M. 2017 Practical Multicriteria Urban Bicycle Routing, detail

Štolba, M., Komenda, A. 2017 The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search, detail

Tožička, J., Štolba, M., Komenda, A. 2017 The limits of strong privacy preserving multi-agent planning, detail

Tožička, J., Komenda, A., Štolba, M. 2017 epsilon-Strong Privacy Preserving Multiagent Planner by Computational Tractability, detail

Moravčík, M., Schmid, M., Burch, N., Lisý, V. 2017 DeepStack: Expert-level artificial intelligence in heads-up no-limit poker, detail

Lisý, V., Bowling, M. 2017 Eqilibrium Approximation Quality of Current No-Limit Poker Bots, detail

Safavi-Naini, R., Lisý, V., Desmedt, Y.G. 2017 Economically Optimal Variable Tag Length Message Authentication, detail

Safavi-Naini, R., Poostindouz, A., Lisý, V. 2017 Path Hopping: an MTD Strategy for Quantum-safe Communication, detail

Janisch, J., Pevný, T., Lisý, V. 2017 Classification with Costly Features using Deep Reinforcement Learning, detail

Grill, M., Pevný, T., Rehák, M. 2017 Reducing False Positives of Network Anomaly Detection by Local Adaptive Multivariate Smoothing, detail

Pevný, T., Somol, P. 2017 Using Neural Network Formalism to Solve Multiple-Instance Problems, detail

Prasse, P., Machlica, L., Pevný, T., Havelka, J., Scheffer, T. 2017 Malware Detection by Analysing Encrypted Network Traffic with Neural Networks, detail

Volf, P., Rollo, M. 2017 Airspace sectorization optimization using fast-time simulation of air traffic controller's workload, detail

Selecký, M., Rollo, M., Volf, P. 2017 Simulation of UAS integration into shared airspace for validation of impact on ATM systems, detail

Rollo, M. 2017 Integration of unmanned aircraft systems into shared airspace, detail

Schaefer, M., Čáp, M., Vokřínek, J. 2017 AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant, detail