Publications


Bošanský, B., Lisý, V., Lanctot, M., Čermák, J., Winands, M. H. M. 2016 Algorithms for computing strategies in two-player simultaneous move games, detail

Kiekintveld, C., Durkota, K., Durkota, K., Lisý, V., 2Pěchouček, M., Bošanský, B. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Horák, K., Bošanský, B. 2016 A Point-Based Approximate Algorithm for One-Side Partially Observable Pursuit-Evasion Games, detail

Čermák, J., Bošanský, B., Durkota, K., Lisý, V., Kiekintveld, C. 2016 Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-form Games, detail

Durkota, K., Lisý, V., Kiekintveld, C., Bošanský, B., Pěchouček, M. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Durkota, K., Lisý, V., Horák, K., Kiekintveld, Ch., Bošanský, B., Pevný, T. 2016 Game-theoretic Analysis of Detecting Data Exfiltration, detail

Čáp, M., Gregorie, J., Frazzoli, E. 2016 Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances, detail

Paden, B, Čáp, M., Yong, S.Z., Yershov, D., Frazzoli, E. 2016 A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles, detail

Drchal, J., Čertický, M., Jakob, M. 2016 Data Driven Validation Framework for Multi-agent Activity-based Models, detail

Čertický, M., Jakob, M., Píbil, R. 2016 Simulation Testbed for Autonomic Demand-Responsive Mobility Systems, detail

Drchal, J., Čertický, M., Jakob, M. 2016 VALFRAM: Validation Framework for Activity-Based Models, detail

Drchal, J., Mrkos, J., Jakob, M. 2016 Data-driven Models for Taxi Matchmaking, detail

Faigl, J. 2016 On Self-Organizing Map and Rapidly-Exploring Random Graph in Multi-Goal Planning, detail

Faigl, J. 2016 An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective, detail

Kafka, P., Faigl, J., Váňa, P. 2016 Random Inspection Tree Algorithm in Visual Inspection with a Realistic Sensing Model and Differential Constraints, detail

Stejskal, M., Mrva, J., Faigl, J. 2016 Road Following with Blind Crawling Robot, detail

Černý, L., Čížek, P., Faigl, J. 2016 On Evaluation of Motion Gaits Energy Efficiency with a Hexapod Crawling Robot, detail

Vonásek, V., Faigl, J. 2016 Evolution of multiple gaits for modular robots, detail

Čížek, P., Faigl, J. 2016 On Localization and Mapping with RGB-D Sensor and Hexapod Walking Robot in Rough Terrains, detail

Faigl, J., Pěnička, R., Best, G. 2016 Self-Organizing Map-based Solution for the Orienteering Problem with Neighborhoods, detail

Čížek, P., Faigl, J., Masri, D. 2016 Low-Latency Image Processing for Vision-Based Navigation Systems, detail

Bayer, J., Čížek, P., Faigl, J. 2016 On Construction of a Reliable Ground Truth for Evaluation of Visual SLAM Algorithms, detail

Fischer, T., Pire, T., Čížek, P., Cristóforis, P., Faigl, J. 2016 Stereo Vision-Based Localization for Hexapod Walking Robots Operating in Rough Terrains, detail

Milička, P., Čížek, P., Faigl, J. 2016 On Chaotic Oscillator-based Central Pattern Generator for Motion Control of Hexapod Walking Robot, detail

Váňa, P., Faigl, J. 2016 The Dubins Traveling Salesman Problem with Constrained Collecting Maneuvers, detail

Faigl, J., Váňa, P. 2016 Self-Organizing Map for the Curvature-Constrained Traveling Salesman Problem, detail

Best, G., Faigl, J., Fitch, R. 2016 Multi-Robot Path Planning for Budgeted Active Perception with Self-Organising Maps, detail

Faigl, J., Váňa, P. 2016 Self-Organizing Map for Data Collection Planning in Persistent Monitoring with Spatial Correlations, detail

Štolba, M., Fišer, D., Komenda, A. 2016 Potential Heuristics for Multi-Agent Planning, detail

García, S., Pěchouček, M. 2016 Detecting the Behavioral Relationships of Malware Connections, detail

García, S., Maria Jose Erquiaga, MJE, Carlos Catania, CC 2016 Detecting DGA Malware traffic through Behavioral Models, detail

García, S., Pablo Torres, PT, Carlos Catania, CC, Carlos Garcia Garino, CGG 2016 An analysis of Recurrent Neural Networks for Botnet detection behavior, detail

García, S. 2016 Cisco Security Projects Activity Report, detail

Egan, M., Jakob, M. 2016 Market Mechanism Design for Profitable On-Demand Transport Services, detail

Boero, M., Garré, M., Fernandez, J., Persi, S., Quesada, D., Jakob, M. 2016 MyWay Personal Mobility: From Journey Planners to Mobility Resource Management, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 From Public Plans to Global Solutions in Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A., Pěchouček, M. 2016 Privacy-Concerned Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 Recursive Reductions of Internal Dependencies in Multiagent Planning, detail

Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning Algorithms, detail

Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning, detail

Komenda, A., Štolba, M., Kovacs, D.L. 2016 The International Competition of Distributed and Multiagent Planners (CoDMAP), detail

Tožička, J., Komenda, A. 2016 Diverse Planning for UAV Control and Remote Sensing, detail

Tožička, J., Jakubův, J., Svatoš, M., Komenda, A. 2016 Recursive Polynomial Reductions for Classical Planning, detail

Komenda, A., Shani, G. 2016 Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16), detail

Štolba, M., Tožička, J., Komenda, A. 2016 Quantifying Privacy Leakage in Multi-Agent Planning, detail

Štolba, M., Komenda, A., Kovacs, D.L. 2016 Competition of Distributed and Multiagent Planners (CoDMAP), detail

Štolba, M., Komenda, A. 2016 Computing Multi-Agent Heuristics Additively, detail

Vaněk, O., Kopřiva, Š., Hrstka, O., Pěchouček, M. 2016 ARETHUS - A Decision Support Platform for Reasoning About Security, detail

Vaněk, O., Kopřiva, Š., Ondráček, J., Hrstka, O., Pěchouček, M. 2016 Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 3, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 2, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 1, detail

Lisý, V., Davis, T, Bowling, M. 2016 Counterfactual Regret Minimization in Sequential Security Games, detail

Lisý, V., Yee, T., Bowling, M. 2016 Monte carlo tree search in continuous action spaces with execution uncertainty, detail

Pevný, T. 2016 Loda: Lightweight on-line detector of anomalies, detail

Pevný, T., Kopp, M., Křoustek, J, Ker, A.D 2016 Malicons: Detecting Payload in Favicons, detail

Čech, Přemysl, Kohout, J., Lokoč, Jakub, Komárek, T., Maroušek, Jakub, Pevný, T. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail

Komárek, T., Grill, M., Pevný, T. 2016 Passive NAT Detection Using HTTP Access Logs, detail

Pevný, T., Somol, Petr 2016 Discriminative Models for Multi-instance Problems with Tree Structure, detail

Pevný, T., Ker, Andrew D., Bas, Patrick 2016 Rethinking Optimal Embedding, detail

Grill, M., Pevný, T. 2016 Learning Combination of Anomaly Detectors for Security Domain, detail

Pevný, T., Cech, P., Kohout, J., Lokoc, J., Komárek, T., Marousek, J. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail

Jusko, J., Rehák, M., Stiborek, J., Kohout, J., Pevný, T. 2016 Using Behavioral Similarity for Botnet Command-and-Control Discovery, detail

Kungurtsev, V., Pevný, T. 2016 Algorithms for Solving Optimization Problems Arsing from Deep Neural Net Models: Smooth Problems, detail

Such, J., Criado, N., Vercouter, L., Rehák, M. 2016 Intelligent Cybersecurity Agents [Guest editors' introduction], detail

Rollo, M., Meiser, T., Selecký, M., Předota, J., Trafina, T., Tůmová, Z. 2016 Senzorová platforma pro tvorbu 3D modelu laserovým dálkoměrěm pomocí bezpilotního prostředku, detail

Selecký, M., Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail

Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail

Schaefer, M., Vokřínek, J., Pinotti, D., Tango, F. 2016 Multi-Agent Traffic Simulation for Development and Validation of Autonomic Car-to-Car Systems, detail