13000 / 13136 - Publications - 2017

13000 / 13136 - Department of Computer Science

Publications 2017

Papers in WoS Journals

ZAMLI, K.Z., et al. Fuzzy adaptive teaching learning-based optimization strategy for the problem of generating mixed strength t-way test suites. Engineering Applications of Artificial Intelligence. 2017, 59 35-50. ISSN 0952-1976. DOI 10.1016/j.engappai.2016.12.014.

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Exploratory testing supported by automated reengineering of model of the system under test. Cluster Computing. 2017, 20(1), 855-865. ISSN 1386-7857. DOI 10.1007/s10586-017-0773-z.

AL-BEYWANEE, B., et al. Constrained Interaction Testing: A Systematic Literature Study. IEEE Access. 2017, 50 25706-25730. ISSN 2169-3536. DOI 10.1109/ACCESS.2017.2771562. Available from: http://ieeexplore.ieee.org/document/8102999/

KLÉMA, J., F. MALINKA, and F. ŽELEZNÝ. Semantic biclustering for finding local, interpretable and predictive expression patterns. BMC Genomics. 2017, 18(4132), ISSN 1471-2164. DOI 10.1186/s12864-017-4132-5. Available from: https://doi.org/10.1186/s12864-017-4132-5

ZAMLI, K.Z., et al. An Experimental Study of Hyper-heuristic Selection and Acceptance Mechanism for Combinatorial T-way Test Suite Generation. Information Sciences. 2017, 399 121-153. ISSN 0020-0255. DOI 10.1016/j.ins.2017.03.007.

AGHASYAN, M., et al. First Measurement of Transverse-Spin-Dependent Azimuthal Asymmetries in the Drell-Yan Process. PHYSICAL REVIEW LETTERS. 2017, 119(11), ISSN 0031-9007. DOI 10.1103/PhysRevLett.119.112002.

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694. DOI 10.1016/j.jhydrol.2017.08.025.

ŠTOLBA, M. and A. KOMENDA. The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search. Artificial Intelligence. 2017, 252 175-210. ISSN 0004-3702. DOI 10.1016/j.artint.2017.08.007.

HRNČÍŘ, J., et al. Practical Multicriteria Urban Bicycle Routing. IEEE Transactions on Intelligent Transportation Systems. 2017, 18(3), 493-504. ISSN 1524-9050. DOI 10.1109/TITS.2016.2577047.

AHMED, B.S., et al. Handling Constraints in Combinatorial Interaction Testing in the presence of Multi Objective Particle Swarm and Multithreading. Information and Software Technology. 2017, 86(June 2017), 20-36. ISSN 0950-5849. DOI 10.1016/j.infsof.2017.02.004.

ČEMUS, K., et al. Separation of Concerns for Distributed Cross-platform Context-aware User Interfaces. Cluster Computing. 2017, 20(3), 2355-2362. ISSN 1386-7857. DOI 10.1007/s10586-017-0794-7.

Papers in Other Journals

TRNKA, M. and T. ČERNÝ. Authentication and Authorization Rules Sharing for Internet of Things. Software Networking. 2017, 2017(2), 35-52. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.003. Available from: http://www.www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/003

PĚNIČKA, R., et al. Dubins Orienteering Problem. IEEE Robotics and Automation Letters. 2017, 2(2), 1210-1217. ISSN 2377-3766. DOI 10.1109/LRA.2017.2666261. Available from: http://ieeexplore.ieee.org/document/7847413/

TOMÁŠEK, M. and T. ČERNÝ. Automated User Interface Generation Involving Field Classification. Software Networking. 2017, 2017(1), 53-78. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.004. Available from: http://www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/004

ČERNÝ, T., M.J. DONAHOO, and M. TRNKA. Contextual Understanding of Microservice Architecture: Current and Future Directions. ACM SIGAPP Applied Computing Review. 2017, 17(4), 29-45. ISSN 1559-6915. DOI 10.1145/3129676.3129682. Available from: https://www.sigapp.org/acr.html

Books, Book Chapters and Lecture Notes

CHURCHILL, D., et al. StarCraft Bots and Competitions. In: Encyclopedia of Computer Graphics and Games. Cham: Springer International Publishing, 2017. ISBN 978-3-319-08234-9.

SCHAEFER, M., M. ČÁP, and J. VOKŘÍNEK. AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant. In: Agent-Based Modeling of Sustainable Behaviors. Wien: Springer, 2017. p. 143-166. ISBN 978-3-319-46330-8. DOI 10.1007/978-3-319-46331-5_7.

RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 902-910.

RYŠAVÝ, P. and F. ŽELEZNÝ. Estimating Sequence Similarity from Contig Sets. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 16th International Symposium on Intelligent Data Analysis, London, 2017-10-26/2017-10-28. Düsseldorf: Springer VDI Verlag, 2017. p. 272-283. ISSN 0302-9743. ISBN 978-3-319-68764-3. DOI 10.1007/978-3-319-68765-0_23.

DURKOTA, K., et al. Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 171-192. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_10.

BOŠANSKÝ, B., et al. Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 63-74. ISBN 978-989-758-220-2. DOI 10.5220/0006121200630074.

HORÁK, K., B. BOŠANSKÝ, and M. PĚCHOUČEK. Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 558-564. ISBN 978-1-57735-780-3.

TOŽIČKA, J., A. KOMENDA, and M. ŠTOLBA. epsilon-Strong Privacy Preserving Multiagent Planner by Computational Tractability. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Madeira: SciTePress, 2017. p. 51-57. vol. 1. ISBN 978-989-758-219-6. DOI 10.5220/0006176400510057.

KOMÁREK, T. and P. SOMOL. End-node Fingerprinting for Malware Detection on HTTPS Data. In: Proceedings of the 12th International Conference on Availability, Reliability and Security. The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, 2017-08-29/2017-09-01. New York: ACM, 2017. ISBN 978-1-4503-5257-4. DOI 10.1145/3098954.3107007. Available from: https://dl.acm.org/citation.cfm?id=3098954.3107007

ČÍŽEK, P., J. FAIGL, and J. BAYER. Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot. In: Proceedings of the 17th Conference on Information Technologies - Applications and Theory (ITAT 2017). ITAT 2017: Information Technologies – Applications and Theory, Martinské hole, Malá Fatra, 2017-09-22/2017-09-26. Aachen: CEUR Workshop Proceedings, 2017. p. 65-70. 2017. vol. 1885. ISSN 1613-0073.

ANDĚL, M., J. KLÉMA, and J. TOPINKA. EMPIRICAL EVALUATION OF QNTR MODELS BUILD ON PHYSICO-CHEMICAL CHARACTERISTICS. In: Proceedings of the 8th International Conference on Nanomaterials - Research and Application. 8th International Conference on Nanomaterials - Research and Application, Brno, 2016-11-19/2016-11-21. Ostrava: Tanger, 2017. p. 594-599. ISBN 978-80-87294-71-0.

VINTR, T., et al. Spatiotemporal Models for Motion Planning in Human Populated Environments. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

CHLUMECKÝ, M. Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function. In: JANECH, Ján, Tadeusz GRATKOWSKI, and Jozef KOSTOLNY, eds. Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Federated Conference on Software development and Object Technologies 2015, Žilina, 2015-11-19/2015-11-20. Cham: Springer International Publishing, 2017. p. 110-121. ISSN 2194-5357. ISBN 978-3-319-46534-0. DOI 10.1007/978-3-319-46535-7_9.

ČERMÁK, J. Solving Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 1820-1821.

SELECKÝ, M., J. FAIGL, and M. ROLLO. Mixed Reality Simulation for Incremental Development of Multi-UAV Systems. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1530-1538. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991351.

VÁŇA, P., et al. Data Collection Planning with Dubins Airplane Model and Limited Travel Budget. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. p. 328-333. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098715.

ČERTICKÝ, M. and D. CHURCHILL. The Current State of StarCraft AI Competitions and Bots. In: AIIDE 2017 Workshop on Artificial Intelligence for Strategy Games. Snowbird Ski Resort, Utah, 2017-10-06. Edmonton: University of Alberta, 2017. ISBN 978-1-57735-791-9.

RYŠAVÝ, P. Using Tries for Evaluating Monge-Elkan Distance on Genomic Sequences. In: Proceedings of the International Student Scientific Conference Poster – 21/2017. Poster 2017, Praha, 2017-05-23. Praha: Czech Technical University in Prague, 2017. p. 1-5. ISBN 978-80-01-06153-4.

TRNKA, M., M. TOMÁŠEK, and T. ČERNÝ. Context-Aware Security Using Internet of Things Devices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 706-713. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_81.

TOŽIČKA, J., M. ŠTOLBA, and A. KOMENDA. The limits of strong privacy preserving multi-agent planning. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. Proceedings of the International Conference on Automated Planning and Scheduling, Pittsburgh, 2017-06-18/2017-06-23. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 297-305. ISSN 2334-0835. ISBN 978-1-57735-789-6.

FIEDLER, D., M. ČÁP, and M. ČERTICKÝ. Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study. In: Proceedings of the 20th International Conference on Intelligent Transportation Systems. IEEE 20th International Conference on INtelligent Transportation Systems, Yokohama, 2017-10-16/2017-10-19. Monterey: IEEE Circuits and Systems Society, 2017. p. 1648-1653. ISBN 978-1-5386-1526-3. DOI 10.1109/ITSC.2017.8317830.

ČERMÁK, J. and B. BOŠANSKÝ. Towards Solving Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

ŠEBEK, J. and K. RICHTA. Impact of User’s Emotion on Software Adaptation. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 1-14. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

ČERMÁK, J., B. BOŠANSKÝ, and V. LISÝ. An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 936-942. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/130. Available from: https://www.ijcai.org/proceedings/2017/130

FAIGL, J., et al. On solution of the Dubins touring problem. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098685. Available from: http://ieeexplore.ieee.org/document/8098685/

BUREŠ, M. and B. AL-BEYWANEE. On the Effectiveness of Combinatorial Interaction Testing: A Case Study. In: Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, Praha, 2017-07-25/2017-07-29. IEEE Reliability Society, 2017. p. 69-76. ISBN 978-1-5386-2072-4. DOI 10.1109/QRS-C.2017.20. Available from: http://ieeexplore.ieee.org/document/8004296/keywords

KORDÍK, P., et al. Scalability of predictive ensembles. In: 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT). 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies, Lvov, 2017-09-05/2017-09-08. IEEE (Institute of Electrical and Electronics Engineers), 2017. p. 555-560. ISBN 978-1-5386-1639-0. DOI 10.1109/STC-CSIT.2017.8098848. Available from: http://toc.proceedings.com/36770webtoc.pdf

BARVÍNEK, J. and F. ŽELEZNÝ. A First-Order Axiomatization for Transition Learning with RichConstraints. In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. 27th International Conference on Inductive Logic Programming, Orléans, 2017-09-04/2017-09-06. Tilburg: CEUR Workshop Proceedings, 2017. p. 1-5. ISSN 1613-0073.

HORÁK, K. and B. BOŠANSKÝ. Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 503-510. ISBN 978-989-758-220-2. DOI 10.5220/0006190605030510.

KRAJNÍK, T., et al. Towards Automated Benchmarking of Robotic Experiments. In: Reproducible Research in Robotics: Current Status and Road Ahead (Workshop at ICRA 2017). Singapore, 2017-05-29. Castellon: Department of Engineering and Computer Science, Universitat Jaume, 2017.

ŠOUREK, G., et al. Learning Predictive Categories Using Lifted Relational Neural Networks. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). International Conference on Inductive Logic Programming 2016, London, 2016-09-04/2016-09-06. Berlin: Springer-Verlag, 2017. p. 108-119. ISSN 0302-9743. ISBN 978-3-319-63341-1. DOI 10.1007/978-3-319-63342-8_9.

HORÁK, K., Q. ZHU, and B. BOŠANSKÝ. Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 273-294. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_15.

PAČES, P., R. THEINER, and J. BRABEC. A Precise Altitude Difference Measurement System for Terrain Mapping and Application in a Ducted-Fan Powered Airplane. In: 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). St.Petersburg, Florida, 2017-09-17/2017-09-21. New York: IEEE, 2017. Advancing Technology for Humanity. ISSN 2155-7195. ISBN 978-1-5386-0365-9. DOI 10.1109/DASC.2017.8102109.

VÁŇA, P., et al. Data Collection Planning with Limited Budget for Dubins Airplane. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 3137. ISSN 2153-0858. ISBN 978-1-5386-2682-5.

ČERMÁK, J. and A. ANGELOVA. Learning with Proxy Supervision for End-To-End Visual Learning. In: Proceedings of IEEE Intelligent Vehicles Symposium. 2017 IEEE Intelligent Vehicles Symposium, Redondo Beach, 2017-06-11/2017-06-14. IEEE (Institute of Electrical and Electronics Engineers), 2017. p. 1-6. ISSN 1931-0587. ISBN 978-1-5090-4804-5. DOI 10.1109/IVS.2017.7995690.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 902-910. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

PĚNIČKA, R., et al. Dubins Orienteering Problem with Neighborhoods. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1555-1562. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991350.

FAIGL, J. and P. VÁŇA. Unsupervised learning for surveillance planning with team of aerial vehicles. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 4340-4347. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966405.

EIDER, M., et al. Seamless Electromobility. In: e-Energy 2017 - Proceedings of the 8th International Conference on Future Energy Systems. 8th ACM International Conference on Future Energy Systems, e-Energy 2017, Shatin, 2017-05-16/2017-05-19. New York: ACM, 2017. p. 316-321. ISBN 978-1-4503-5036-5. DOI 10.1145/3077839.3078461. Available from: https://dl.acm.org/citation.cfm?id=3078461

ČEMUS, K., F. KLIMEŠ, and T. ČERNÝ. Aspect-driven Context-aware Services. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Federated Conference on Computer Science and Information Systems, Praha, 2017-09-03/2017-09-06. Los Alamitos, CA: IEEE Computer Soc., 2017. p. 1307-1314. ISSN 2325-0348. ISBN 978-8-3946-2537-5. DOI 10.15439/2017F397.

13136 / 13141 - Artificial Intelligence Center

Publications 2017

Papers in WoS Journals

MORAVČÍK, M., et al. DeepStack: Expert-level artificial intelligence in heads-up no-limit poker. SCIENCE. 2017, 356(6337), 508-513. ISSN 0036-8075. DOI 10.1126/science.aam6960.

KRAJNÍK, T., et al. Fremen: Frequency map enhancement for long-term mobile robot autonomy in changing environments. IEEE Transactions on Robotics. 2017, 33(4), 964-977. ISSN 1552-3098. DOI 10.1109/TRO.2017.2665664.

BASTERRECH, S. and G. RUBINO. Echo State Queueing Networks: A Combination of Reservoir Computing and Random Neural Networks. Probability in the Engineering and Informational Sciences. 2017, 31(4), 457-476. ISSN 0269-9648. DOI 10.1017/S0269964817000110.

ŠTOLBA, M. and A. KOMENDA. The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search. Artificial Intelligence. 2017, 252 175-210. ISSN 0004-3702. DOI 10.1016/j.artint.2017.08.007.

NOWICKI, M.R., et al. An experimental study on feature-based SLAM for multi-legged robots with RGB-D sensors. Industrial Robot. 2017, 44(4), 428-441. ISSN 0143-991X. DOI 10.1108/IR-11-2016-0340.

SASKA, M., et al. System for deployment of groups of unmanned micro aerial vehicles in GPS-denied environments using onboard visual relative localization. Autonomous Robots. 2017, 41(4), 919-944. ISSN 0929-5593. DOI 10.1007/s10514-016-9567-z.

KUSUMAM, K, et al. 3D-Vision Based Detection, Localisation and Sizing of Broccoli Heads in the Field. Journal of Field Robotics. 2017, 34(8), 1505-1518. ISSN 1556-4959. DOI 10.1002/rob.21726.

GRILL, M., T. PEVNÝ, and M. REHÁK. Reducing False Positives of Network Anomaly Detection by Local Adaptive Multivariate Smoothing. Journal of Computer and System Sciences. 2017, 83(1), 43-57. ISSN 0022-0000. DOI 10.1016/j.jcss.2016.03.007.

HRNČÍŘ, J., et al. Practical Multicriteria Urban Bicycle Routing. IEEE Transactions on Intelligent Transportation Systems. 2017, 18(3), 493-504. ISSN 1524-9050. DOI 10.1109/TITS.2016.2577047.

BARTÁK, R, et al. Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Science of Computer Programming. 2017, 147 54-77. ISSN 0167-6423. DOI 10.1016/j.scico.2017.04.007.

Papers in Other Journals

BOŠANSKÝ, B., et al. Computation of Stackelberg Equilibria of Finite Sequential Games. ACM TRANSACTIONS ON ECONOMICS AND COMPUTATION. 2017, 5(4), ISSN 2167-8375. DOI 10.1145/3133242.

PĚNIČKA, R., et al. Dubins Orienteering Problem. IEEE Robotics and Automation Letters. 2017, 2(2), 1210-1217. ISSN 2377-3766. DOI 10.1109/LRA.2017.2666261. Available from: http://ieeexplore.ieee.org/document/7847413/

LIGHBODY, P., T. KRAJNÍK, and M. HANHEIDE. An Efficient Visual Fiducial Localisation System. ACM SIGAPP Applied Computing Review. 2017, 17(3), 28-38. ISSN 1559-6915. DOI 10.1145/3019612.3019709. Available from: https://www.sigapp.org/acr/Issues/V17.3/ACR%2017-3.pdf

Books, Book Chapters and Lecture Notes

SCHAEFER, M., M. ČÁP, and J. VOKŘÍNEK. AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant. In: Agent-Based Modeling of Sustainable Behaviors. Wien: Springer, 2017. p. 143-166. ISBN 978-3-319-46330-8. DOI 10.1007/978-3-319-46331-5_7.

Conference Proceedings

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. p. 902-910.

DURKOTA, K., et al. Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 171-192. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_10.

ROLLO, M., M. SELECKÝ, and P. VOLF. Simulation of UAS integration into shared airspace for validation of impact on ATM systems. In: Proceedings of Integrated Communications Navigation and Surveillance Conference (ICNS) 2017. Integrated Communications Navigation and Surveillance Conference 2017, Herndon, Virginia, 2017-04-18/2017-04-20. Piscataway: IEEE, 2017. ISBN 978-1-5090-5375-9. DOI 10.1109/ICNSURV.2017.8011945. Available from: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8011945&tag=1

BOŠANSKÝ, B., et al. Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 63-74. ISBN 978-989-758-220-2. DOI 10.5220/0006121200630074.

VALLATI, M., L. CHRPA, and I. SERINA. On the Evolution of Planner-Specific Macro Sets. In: AI*IA 2017 Advances in Artificial Intelligence. The 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, 2017-11-14/2017-11-17. Cham: Springer International Publishing, 2017. p. 443-454. LNCS. ISSN 0302-9743. ISBN 978-3-319-70168-4. DOI 10.1007/978-3-319-70169-1_33.

HORÁK, K., B. BOŠANSKÝ, and M. PĚCHOUČEK. Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 558-564. ISBN 978-1-57735-780-3.

HAMMERSCHMIDT, C.A., et al. Reliable Machine Learning for Networking: Key Issues and Approaches. In: Proceedings of the 42nd IEEE Conference on Local Computer Networks. The 42nd IEEE Conference on Local Computer Networks, Singapore, 2017-10-09/2017-10-12. USA: IEEE Computer Society, 2017. p. 167-170. ISSN 0742-1303. ISBN 978-1-5090-6523-3. DOI 10.1109/LCN.2017.74.

KOMÁREK, T. and P. SOMOL. End-node Fingerprinting for Malware Detection on HTTPS Data. In: Proceedings of the 12th International Conference on Availability, Reliability and Security. The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, 2017-08-29/2017-09-01. New York: ACM, 2017. ISBN 978-1-4503-5257-4. DOI 10.1145/3098954.3107007. Available from: https://dl.acm.org/citation.cfm?id=3098954.3107007

PEVNÝ, T. and P. SOMOL. Using Neural Network Formalism to Solve Multiple-Instance Problems. In: Advances in Neural Networks - ISNN 2017. International Symposium on Neural Networks, Hokkaido, 2017-06-21/2017-06-23. Wien: Springer, 2017. p. 135-142. LNCS. vol. 10261. ISSN 0302-9743. ISBN 978-3-319-59071-4. DOI 10.1007/978-3-319-59072-1_17.

QINGYU, G., et al. Comparing Strategic Secrecy and Stackelberg Commitment in Security Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 3691-3699. ISSN 1045-0823. ISBN 978-0-9992411-0-3.

FAIGL, J. On Self-Organizing Maps for Orienteering Problems. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 2611-2620. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966175.

ČÍŽEK, P., J. FAIGL, and J. BAYER. Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot. In: Proceedings of the 17th Conference on Information Technologies - Applications and Theory (ITAT 2017). ITAT 2017: Information Technologies – Applications and Theory, Martinské hole, Malá Fatra, 2017-09-22/2017-09-26. Aachen: CEUR Workshop Proceedings, 2017. p. 65-70. 2017. vol. 1885. ISSN 1613-0073.

SAFAVI-NAINI, R., V. LISÝ, and Y.G. DESMEDT. Economically Optimal Variable Tag Length Message Authentication. In: 21st International Conference on Financial Cryptography and Data Security. Malta, 2017-04-03/2017-04-07. Springer, Cham, 2017. p. 204-223. ISSN 0302-9743. ISBN 978-3-319-70971-0. DOI 10.1007/978-3-319-70972-7_11.

VINTR, T., et al. Spatiotemporal Models for Motion Planning in Human Populated Environments. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

SELECKÝ, M., J. FAIGL, and M. ROLLO. Mixed Reality Simulation for Incremental Development of Multi-UAV Systems. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1530-1538. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991351.

VÁŇA, P., et al. Data Collection Planning with Dubins Airplane Model and Limited Travel Budget. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. p. 328-333. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098715.

CHRPA, L., J. GEMROT, and M. PILÁT. Towards a Safer Planning and Execution Concept. In: Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI). The 29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Boston, 2017-11-06/2017-11-08. New York: IEEE Computer Society Press, 2017. p. 972-976. ISSN 1082-3409. ISBN 978-1-5386-3876-7. DOI 10.1109/ICTA1.2017.00149.

FIEDLER, D., M. ČÁP, and M. ČERTICKÝ. Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study. In: Proceedings of the 20th International Conference on Intelligent Transportation Systems. IEEE 20th International Conference on INtelligent Transportation Systems, Yokohama, 2017-10-16/2017-10-19. Monterey: IEEE Circuits and Systems Society, 2017. p. 1648-1653. ISBN 978-1-5386-1526-3. DOI 10.1109/ITSC.2017.8317830.

ČERMÁK, J. and B. BOŠANSKÝ. Towards Solving Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

HALODOVÁ, L. and T. KRAJNÍK. Exposure Setting for Visual Navigation of Mobile Robots. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

BASTERRECH, S. Empirical analysis of the necessary and sufficient conditions of the echo state property. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 888-896. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7965946.

ČERMÁK, J., B. BOŠANSKÝ, and V. LISÝ. An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 936-942. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/130. Available from: https://www.ijcai.org/proceedings/2017/130

PARKINSON, S, et al. On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations. In: Proceedings of the International Conference on Automated Planning and Scheduling. Pittsburgh, 2017-06-18/2017-06-23. Menlo Park: AAAI Press, 2017. p. 400-408. ISSN 2334-0835. ISBN 978-1-57735-789-6.

FAIGL, J., et al. On solution of the Dubins touring problem. In: Proceedings of ECMR 2017. The European Conference on Mobile Robotics 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098685. Available from: http://ieeexplore.ieee.org/document/8098685/

VOLF, P. and M. ROLLO. Airspace sectorization optimization using fast-time simulation of air traffic controller's workload. In: Proceedings of Integrated Communications Navigation and Surveillance Conference (ICNS) 2017. Integrated Communications Navigation and Surveillance Conference 2017, Herndon, Virginia, 2017-04-18/2017-04-20. Piscataway: IEEE, 2017. ISBN 978-1-5090-5375-9. DOI 10.1109/ICNSURV.2017.8011884. Available from: http://ieeexplore.ieee.org/document/8011884/

HORÁK, K. and B. BOŠANSKÝ. Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 503-510. ISBN 978-989-758-220-2. DOI 10.5220/0006190605030510.

LISÝ, V. and M. BOWLING. Eqilibrium Approximation Quality of Current No-Limit Poker Bots. In: AAAI Workshops. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 361-366. ISBN 9781577357865. Available from: https://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15154

ČÍŽEK, P., P. MILIČKA, and J. FAIGL. Neural based obstacle avoidance with CPG controlled hexapod walking robot. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 650-656. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7965914.

VALLATI, M, L. CHRPA, and T.L. MCCLUSKEY. Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. In: Proceedings of the International Symposium on Combinatorial Search. Pittsburgh, 2017-06-16/2017-06-17. Menlo Park: AAAI Press, 2017. p. 171-172.

CHRPA, L., N LIPOVETZKY, and S SARDINA. Handling Non-local Dead-ends in Agent Planning Programs. In: Proceedings of the International Joint Conference on Artificial Intelligence. Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. p. 971-978. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/135. Available from: https://doi.org/10.24963/ijcai.2017/135

MAJER, F., L. HALODOVÁ, and T. KRAJNÍK. A Precise Teach and Repeat Visual Navigation System Based on the Convergence Theorem. In: STUDENT CONFERENCE ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS (PAIRS). Žilina, 2017-09-17. Praha: Czech Technical University in Prague, 2017.

KRAJNÍK, T., et al. Towards Automated Benchmarking of Robotic Experiments. In: Reproducible Research in Robotics: Current Status and Road Ahead (Workshop at ICRA 2017). Singapore, 2017-05-29. Castellon: Department of Engineering and Computer Science, Universitat Jaume, 2017.

HANHEIDE, M, D. HEBESBERGER, and T. KRAJNÍK. The when, where, and how: an adaptive robotic info-terminal for care home residents–a long-term study. In: Proceedings of the 2017 Conference on Human-Robot Interaction. 2017 Conference on Human-Robot Interaction, Vídeň, 2017-03-06/2017-03-09. New York: ACM, 2017. p. 341-349. ISSN 2167-2148. ISBN 978-1-4503-4336-7. DOI 10.1145/2909824.3020228. Available from: http://humanrobotinteraction.org/2017/timetable/event/regular-session-6/

ČÍŽEK, P. and J. FAIGL. RNN-based Visual Obstacle Avoidance with a CPG Controlled Hexapod Walking Robot. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 3146. ISSN 2153-0858. ISBN 978-1-5386-2682-5.

HORÁK, K., Q. ZHU, and B. BOŠANSKÝ. Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. p. 273-294. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_15.

GAVENČIAK, T., B. GEISSMANN, and J. LENGLER. Sorting by Swaps with Noisy Comparisons. In: Proceedings of the Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference, Berlin, 2017-07-15/2017-07-19. New York: ACM, 2017. p. 1375-1382. ISBN 978-1-4503-4920-8. DOI 10.1145/3071178.3071242.

CHRPA, L., et al. Mixed-initiative planning, replanning and execution: From concept to field testing using AUV fleets. In: IEEE International Conference on Robotics and Automation. IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. New York: IEEE Press, 2017. p. 6825-6830. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206602.

VÁŇA, P., et al. Data Collection Planning with Limited Budget for Dubins Airplane. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 3137. ISSN 2153-0858. ISBN 978-1-5386-2682-5.

SAFAVI-NAINI, R., A. POOSTINDOUZ, and V. LISÝ. Path Hopping: an MTD Strategy for Quantum-safe Communication. In: Proceedings of the 2017 Workshop on Moving Target Defense. 2017 Workshop on Moving Target Defense, Dallas, 2017-10-30/2017-11-03. New York: ACM, 2017. p. 111-114. ISBN 978-1-4503-5176-8. DOI 10.1145/3140549.3140560.

FAIGL, J. and R. PĚNIČKA. On Close Enough Orienteering Problem with Dubins Vehicle. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 5646-5652. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206453.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. p. 902-910. ISSN 1548-8403. ISBN 978-1-5108-5507-6.

FAIGL, J. Self-organizing map for orienteering problem with dubins vehicle. In: 2017 12th International Workshop on Self-Organizing Maps and Learning Vector Quantization, Clustering and Data Visualization (WSOM). 12th International Workshop on Self-Organizing Maps and Learning Vector Quantization, Clustering and Data Visualization (WSOM+ 2017), Nancy, 2017-06-28/2017-06-30. Marseille: IEEE, 2017. p. 125-132. ISBN 978-1-5090-6638-4. Available from: http://ieeexplore.ieee.org/document/8020017/

LIGHTBODY, P., T. KRAJNÍK, and M. HANHEIDE. A Versatile High-Performance Visual Fiducial Marker Detection System with Scalable Identity Encoding. In: Proceedings of the Symposium on Applied Computing. 32st ACM Symposium on Applied Computing, Marrakech, 2017-04-04/2017-04-06. New York: ACM, 2017. p. 276-282. ISBN 978-1-4503-4486-9. DOI 10.1145/3019612.3019709. Available from: http://eprints.lincoln.ac.uk/25828/1/4d0bd9e8a3b3b5ad6ca2d56c1438fbbc.pdf

PĚNIČKA, R., et al. Dubins Orienteering Problem with Neighborhoods. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. p. 1555-1562. ISBN 978-1-5090-4494-8. DOI 10.1109/ICUAS.2017.7991350.

FAIGL, J. and P. VÁŇA. Unsupervised learning for surveillance planning with team of aerial vehicles. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. p. 4340-4347. ISSN 2161-4393. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966405.

ČÍŽEK, P., D. MASRI, and J. FAIGL. Foothold Placement Planning with a Hexapod Crawling Robot. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. Piscataway: IEEE, 2017. p. 4096-4101. ISSN 2153-0858. ISBN 978-1-5386-2682-5. DOI 10.1109/IROS.2017.8206267.

PRASSE, P., et al. Malware Detection by Analysing Encrypted Network Traffic with Neural Networks. In: CECI, M., et al., eds. Machine Learning and Knowledge Discovery in Databases. The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery, Skopje, 2017-09-18/2017-09-22. Cham: Springer International Publishing AG, 2017. p. 73-88. vol. I, II, III. ISSN 0302-9743. ISBN 978-3-319-71245-1. DOI 10.1007/978-3-319-71246-8_5.

Dissertations

HAVRÁNEK, A. Algoritmy řízení magnetovacího procesu kompenzačních ferometrů. Defense date 2018-03-08. PhD Thesis. CTU FEE. Department of Circuit Theory; CTU FEE. Artificial Intelligence Center. Supervised by I. ZEMÁNEK.

ČÁP, M. Centralized and Decentralized Algorithms for Multi-Robot Trajectory Coordination. Praha: Defense date 2017-09-18. PhD Thesis. ČVUT FEL, Katedra kybernetiky. Supervised by P. NOVAK and M. PĚCHOUČEK.

Unpublished Lectures

BASTERRECH, S. An overview on Randomized Neural Networks. [Unpublished Lecture] University of Málaga - prof. Enrique Alba. 2017-10-10.

KRAJNÍK, T. FreMEn: Frequency Map Enhancement for Long-Term Autonomy of Mobile Robots. [Unpublished Lecture] University of Lincoln. 2017-11-22.

KRAJNÍK, T. Visual Navigation in Changing Outdoor Environments. [Unpublished Lecture] INGENIARIUS, Ltd. 2017-07-04.

SASKA, M. and T. KRAJNÍK. LCAS success at Mohammed bin Zayeed Robotics Challenge. [Unpublished Lecture] University of Lincoln. 2017-11-22.

BASTERRECH, S. Lecture Deep Neural Networks. [Unpublished Lecture] VSB-Technical University of Ostrava, Czech Republic. 2017-09-06.

KRAJNÍK, T. FreMEn: Frequency Map Enhancement for Long-Term Autonomy of Mobile Robots. [Unpublished Lecture] University of Zagreb, Faculty of Electrical Engineering and Computing. 2017-09-19.

ROLLO, M. Integration of unmanned aircraft systems into shared airspace. [Unpublished Lecture] ČVUT v Praze, Fakulta dopravní. 2017-12-08.

13136 / 13143 - Intelligent Data Analysis

Publications 2017

Papers in WoS Journals

KUNGURTSEV, V. and J. JÄSCHKE. A Predictor-Corrector Path-Following Algorithm for Dual-Degenerate Parametric Optimization Problems. SIAM JOURNAL ON OPTIMIZATION. 2017, 27(1), 538-564. ISSN 1052-6234. DOI 10.1137/16M1068736.

KLÉMA, J., F. MALINKA, and F. ŽELEZNÝ. Semantic biclustering for finding local, interpretable and predictive expression patterns. BMC Genomics. 2017, 18(4132), ISSN 1471-2164. DOI 10.1186/s12864-017-4132-5. Available from: https://doi.org/10.1186/s12864-017-4132-5

LIŠKOVÁ, P., et al. Replication of SNP Associations with Keratoconus in a Czech Cohort. PLoS ONE. 2017, 12(2), ISSN 1932-6203. DOI 10.1371/journal.pone.0172365. Available from: http://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0172365&type=printable

GILL, P.E., V. KUNGURTSEV, and D.P. ROBINSON. A stabilized SQP Method: Global Convergence. IMA Journal of Numerical Analysis (IMAJNA). 2017, 37(1), 407-443. ISSN 0272-4979. DOI 10.1093/imanum/drw004.

SUWARTADI, E., V. KUNGURTSEV, and J. JÄSCHKE. Sensitivity-Based Economic NMPC with a Path-Following Approach. Processes. 2017, 5(1), ISSN 2227-9717. DOI 10.3390/pr5010008.

Conference Proceedings

LÍBALOVÁ, H., et al. Mechanisms of toxicity of particulate emissions produced by different gasoline and alternative fuels in human lung cells. In: EAC 2017 - European Aerosol Conference. Zurich, 2017-08-27/2017-09-01. GAEF, 2017.

ANDĚL, M., J. KLÉMA, and J. TOPINKA. EMPIRICAL EVALUATION OF QNTR MODELS BUILD ON PHYSICO-CHEMICAL CHARACTERISTICS. In: Proceedings of the 8th International Conference on Nanomaterials - Research and Application. 8th International Conference on Nanomaterials - Research and Application, Brno, 2016-11-19/2016-11-21. Ostrava: Tanger, 2017. p. 594-599. ISBN 978-80-87294-71-0.

BARVÍNEK, J. and F. ŽELEZNÝ. A First-Order Axiomatization for Transition Learning with RichConstraints. In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. 27th International Conference on Inductive Logic Programming, Orléans, 2017-09-04/2017-09-06. Tilburg: CEUR Workshop Proceedings, 2017. p. 1-5. ISSN 1613-0073.

ŠOUREK, G., et al. Learning Predictive Categories Using Lifted Relational Neural Networks. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). International Conference on Inductive Logic Programming 2016, London, 2016-09-04/2016-09-06. Berlin: Springer-Verlag, 2017. p. 108-119. ISSN 0302-9743. ISBN 978-3-319-63341-1. DOI 10.1007/978-3-319-63342-8_9.

KUNGURTSEV, V., et al. Input Shaper Optimization with a Constraint on the Spectrum Distribution. In: Proceedings of the IFAC 2017 World Congress. The 20th World Congress of the International Federation of Automatic Control, Toulouse, 2017-07-09/2017-07-14. Kidlington Oxford OX GB: Elsevier, 2017. p. 13324-13329. ISSN 2405-8963. DOI 10.1016/j.ifacol.2017.08.1893.

13136 / 13144 - Software Testing Intelligent Lab

Publications 2017

Papers in WoS Journals

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Exploratory testing supported by automated reengineering of model of the system under test. Cluster Computing. 2017, 20(1), 855-865. ISSN 1386-7857. DOI 10.1007/s10586-017-0773-z.

AL-BEYWANEE, B., et al. Constrained Interaction Testing: A Systematic Literature Study. IEEE Access. 2017, 50 25706-25730. ISSN 2169-3536. DOI 10.1109/ACCESS.2017.2771562. Available from: http://ieeexplore.ieee.org/document/8102999/

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694. DOI 10.1016/j.jhydrol.2017.08.025.

Papers in Other Journals

TRNKA, M. and T. ČERNÝ. Authentication and Authorization Rules Sharing for Internet of Things. Software Networking. 2017, 2017(2), 35-52. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.003. Available from: http://www.www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/003

TOMÁŠEK, M. and T. ČERNÝ. Automated User Interface Generation Involving Field Classification. Software Networking. 2017, 2017(1), 53-78. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.004. Available from: http://www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/004

ČERNÝ, T., M.J. DONAHOO, and M. TRNKA. Contextual Understanding of Microservice Architecture: Current and Future Directions. ACM SIGAPP Applied Computing Review. 2017, 17(4), 29-45. ISSN 1559-6915. DOI 10.1145/3129676.3129682. Available from: https://www.sigapp.org/acr.html

Books, Book Chapters and Lecture Notes

RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

RICHTA, K. and P MORAVEC, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Elearning Compared From A Community Of Practice and a Mooc Perspective. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

MANNOVÁ, B. Why are software projects different. In: It Convergence and Security. 7th iCatse International Conference on IT Convergence and Security, Seoul, 2017-09-25/2017-09-28. Springer Nature Singapore Pte Ltd., 2017. p. 1-350. Lecture Notes in Electrical Engineeringh. vol. 449. ISSN 1876-1100. ISBN 978-981-10-6450-0.

BUREŠ, M. and T. ČERNÝ. Static Testing Using Different Types of CRUD Matrices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 594-602. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_68.

PAVLÁT, J., et al. Model Transformations via XSLT. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 43-55. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

ŠEBEK, J. and K. RICHTA. Impact of User’s Emotion on Software Adaptation. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 1-14. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

BUREŠ, M. and B. AL-BEYWANEE. On the Effectiveness of Combinatorial Interaction Testing: A Case Study. In: Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, Praha, 2017-07-25/2017-07-29. IEEE Reliability Society, 2017. p. 69-76. ISBN 978-1-5386-2072-4. DOI 10.1109/QRS-C.2017.20. Available from: http://ieeexplore.ieee.org/document/8004296/keywords

BUREŠ, M. Framework for Integration Testing of IoT Solutions. In: ARABNIA, H.R., et al., eds. Proceedings of 2017 International Conference on Computational Science and Computational Intelligence CSCI 2017. 4th Annual Conference on Computational Science & Computational Intelligence, Las Vegas, 2017-12-14/2017-12-16. Los Alamitos: Conference publishing Services, 2017. p. 1838-1839. ISBN 978-1-5386-2652-8. DOI 10.1109/CSCI.2017.335.

BUREŠ, M., T. ČERNÝ, and M. KLÍMA. Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 585-593. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_67.

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Collaborative lifelong learning for teacher educators across cultural boundaries. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

MANNOVÁ, B. and C. PRESTON. COMPUTER SCIENCE INCLUSION IN THE SCHOOL CURRICULUM. In: CHOVA, L.G., A.L. MARTÍNEZ, and I.C. TORRES, eds. 9th International Conference on Education and New Learning Technologies. EDULEARN17, Barcelona, 2017-07-03/2017-07-05. Valencia: IATED Academy, 2017. p. 2682-2685. ISSN 2340-1117. ISBN 978-84-697-3777-4.

Research Reports

BUREŠ, M. Specification of the IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V3. [Research Report] 2017.

BUREŠ, M. Requirements for IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V2. [Research Report] 2017.

Unpublished Lectures

MANNOVÁ, B. “Why are software projects different?”. [Unpublished Lecture] Korea Institute of Science and Technology Information. 2017-09-25.

The page was created 21.01.2020 05:00:01
Responsible person: RNDr. Patrik Mottl, Ph.D.