Publications

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

Trnka, M., Černý, T. 2017 Authentication and Authorization Rules Sharing for Internet of Things, 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

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

Gill, P.E., Kungurtsev, V., Robinson, D.P. 2017 A stabilized SQP Method: Global Convergence, detail

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

Lišková, P., Dudáková, L., Křepelová, A., Kléma, J., Hysi, P. 2017 Replication of SNP Associations with Keratoconus in a Czech Cohort, detail

Suwartadi, E., Kungurtsev, V., Jäschke, J. 2017 Sensitivity-Based Economic NMPC with a Path-Following Approach, detail

Frajták, K., Bureš, M., Jelínek, I. 2017 Exploratory testing supported by automated reengineering of model of the system under test, detail

Šebek, J., Richta, K. 2017 Impact of User’s Emotion on Software Adaptation, detail

Richta, K., Moravec, P, Šebek, J. 2017 DATESO 2017, detail

Moravčík, M., Schmid, M., Burch, N., Lisý, V. 2017 DeepStack: Expert-level artificial intelligence in heads-up no-limit poker, 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., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail

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

Tomášek, M., Černý, T. 2017 Automated User Interface Generation Involving Field Classification, detail

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

Chlumecký, M., Richta, K., Buchtele, J. 2017 Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling, detail

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

Štepanovský, M., Ibrová, A., Buk, Z., Velemínská, J. 2017 Novel age estimation model based on development of permanent teeth compared with classical approach and other modern data mining methods, detail

Bureš, M., Cerny, T., Frajták, K., Al-Beywanee, B. 2017 Testing the consistency of business data objects using extended static testing of CRUD matrices, detail

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

Štepanovský, M., Ibrová, A., Buk, Z., Veleminská, J. 2017 Estimation of Chronological Age from Permanent Teeth Development, 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

Líbalová, H., Vojtíšek, M., Kléma, J., Machala, M., Topinka, J. 2017 Mechanisms of toxicity of particulate emissions produced by different gasoline and alternative fuels in human lung cells, detail

Kungurtsev, V., Pilbauer, D., Vyhlídal, T., Hromčík, M., Michiels, W. 2017 Input Shaper Optimization with a Constraint on the Spectrum Distribution, detail

Kléma, J., Malinka, F., Železný, F. 2017 Semantic biclustering for finding local, interpretable and predictive expression patterns, detail

Volf, P., Rollo, M. 2017 Airspace sectorization optimization using fast-time simulation of air traffic controller's workload, 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

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

Čermák, J., Angelova, A. 2017 Learning with Proxy Supervision for End-To-End Visual Learning, 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

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

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

Šourek, G., Železný, F., Kuželka, O., Shockaert, S., Manandhar, S. 2017 Learning Predictive Categories Using Lifted Relational Neural Networks, detail

Ryšavý, P., Železný, F. 2017 Estimating Sequence Similarity from Contig Sets, detail

Borovec, J., Kybic, J., Nava Velazco, U. 2017 Detection and Localization of Drosophila Egg Chambers in Microscopy Images, detail

Olveres, J., Nava Velazco, U., Escalante-Ramirez, B., Vallejo, E., Kybic, J. 2017 Left ventricle Hermite-based segmentation, detail

Trnka, M., Tomášek, M., Černý, T. 2017 Context-Aware Security Using Internet of Things Devices, detail

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

Bureš, M., Al-Beywanee, B. 2017 On the Effectiveness of Combinatorial Interaction Testing: A Case Study, 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

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

Mannová, B., Preston, C. 2017 COMPUTER SCIENCE INCLUSION IN THE SCHOOL CURRICULUM, detail

Mannová, B., Preston, C., Younie, S. 2017 Elearning Compared From A Community Of Practice and a Mooc Perspective, detail

Mannová, B., Preston, C., Younie, S. 2017 Collaborative lifelong learning for teacher educators across cultural boundaries, detail

Mannová, B. 2017 “Why are software projects different?”, detail

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

Vondrouš, O., Macejko, P., Kocur, Z. 2017 Simulation of the Application Layer in NarrowBand Networks with Conditional Data Injection XML Scheme Based on Universal Data Generator, detail

Al-Beywanee, B., Bureš, M., Zamli, K., Afzal, W. 2017 Constrained Interaction Testing: A Systematic Literature Study, detail

Kungurtsev, V., Jäschke, J. 2017 A Predictor-Corrector Path-Following Algorithm for Dual-Degenerate Parametric Optimization Problems, detail

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

Čertický, M., Churchill, D., Preuss, M., Richoux, F. 2017 StarCraft Bots and Competitions, detail

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

Plander, I., Štepanovský, M. 2017 MEMS technology in optical switching, detail

Trnka, M., Černý, T., Donahoo, M.J. 2017 Contextual Understanding of Microservice Architecture: Current and Future Directions, detail

Atef, A., Hagras, T., Mahdy, Y.B., Janeček, J. 2017 Lower-bound complexity algorithm for task scheduling on heterogeneous grid, detail

Čemus, K., Klimeš, F., Kratochvíl, O., Černý, T. 2017 Separation of Concerns for Distributed Cross-platform Context-aware User Interfaces, detail

Čemus, K., Klimeš, F., Černý, T. 2017 Aspect-driven Context-aware Services, detail

Bureš, M., Černý, T., Klíma, M. 2017 Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows, detail

Černý, T., Bureš, M. 2017 Static Testing Using Different Types of CRUD Matrices, detail

Bureš, M. 2017 Requirements for IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V2, detail

Bureš, M. 2017 Specification of the IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V3, 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

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

Železný, F., Černoch, R. 2017 Lock-chart Solving Algorithm Testbed, detail

Hammerschmidt, C.A., García, S., Verwer, S., State, R. 2017 Reliable Machine Learning for Networking: Key Issues and Approaches, 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

Mannová, B. 2017 Why are software projects different, detail

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

Jakubův, J., Suda, M., Urban, J. 2017 Automated Invention of Strategies and Term Orderings for Vampire, detail

Jakubův, J., Urban, J. 2017 ENIGMA: Efficient Learning-Based Inference Guiding Machine, detail

Jakubův, J., Urban, J. 2017 BliStrTune: Hierarchical Invention of Theorem Proving Strategies, detail

2017 A formal proof of the Kepler conjecture, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2017 Automating Formalization by Statistical and Semantic Parsing of Mathematics, detail

Gauthier, T., Kaliszyk, C., Urban, J. 2017 TacticToe: Learning to Reason with HOL4 Tactics, detail

Schulz, S., Sutcliffe, G., Urban, J., Pease, A. 2017 Detecting Inconsistencies in Large First-Order Knowledge Bases, detail

Farber, M., Kaliszyk, C., Urban, J. 2017 Monte carlo tableau proof search, detail

Gauthier, T., Kaliszyk, C., Urban, J. 2017 Initial experiments with statistical conjecturing over large formal corpora, detail

Urban, J. 2017 AI at CADE/IJCAR, detail

Anděl, M., Kléma, J., Topinka, J. 2017 EMPIRICAL EVALUATION OF QNTR MODELS BUILD ON PHYSICO-CHEMICAL CHARACTERISTICS, detail

Čáp, M. 2017 Centralized and Decentralized Algorithms for Multi-Robot Trajectory Coordination, detail

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

Bureš, M. 2017 Framework for Integration Testing of IoT Solutions, detail

Kopp, M., Nikl, M., Holeňa, M. 2017 Breaking CAPTCHAs with Convolutional Neural Networks, detail