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

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

Fiedler, D., Čáp, M., Čertický, M. 2017 Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study, detail

Gregoire, J., Čáp, M., Frazzoli, E. 2017 Locally-optimal Multi-robot Navigation Under Delaying Disturbances Using Homotopy Constraints, detail

2017 Duckietown: An Open,Inexpensive and Flexible Platform for Autonomy Education and Research, detail

Čermák, J. 2017 Solving Imperfect Recall Games, detail

Čermák, J., Angelova, A. 2017 Learning with Proxy Supervision for End-To-End Visual Learning, detail

Čertický, M., Churchill, D. 2017 The Current State of StarCraft AI Competitions and Bots, detail

Fialka Sobková, L., Čertický, M. 2017 Urban Mobility and Influence Factors - Case Study Prague, detail

Čertický, M., Churchill, D., Preuss, M., Richoux, F. 2017 StarCraft Bots and Competitions, 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

Faigl, J., Hollinger, G. 2017 Autonomous Data Collection Using a Self-Organizing Map, detail

Čížek, P., Faigl, J. 2017 Real-Time FPGA-based Detection of Speeded Up Robust Features Using Separable Convolution, detail

Best, G., Faigl, J., Fitch, R. 2017 Online planning for multi-robot active perception with self-organising maps, detail

Erquiaga, M.J., García, S., Garino, C.G. 2017 Observer Effect: How Intercepting HTTPS Traffic Forces Malware to Change Their Behavior, 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 ε-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

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

Pevný, T., Kohout, J. 2017 Network traffic fingerprinting based on approximated kernel two-sample test, 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

Štolba, M., Eider, M., Sellner, D., Berl, A. 2017 Seamless Electromobility, detail

Komárek, T., Somol, P. 2017 End-node Fingerprinting for Malware Detection on HTTPS Data, detail