13136 / 13141 - Artificial Intelligence Center

Publications 2016

Papers in WoS Journals

BOŠANSKÝ, B., et al. Algorithms for computing strategies in two-player simultaneous move games. Artificial Intelligence. 2016, 237 1-40. ISSN 0004-3702. DOI 10.1016/j.artint.2016.03.005.

DURKOTA, K., et al. Case Studies of Network Defense with Attack Graph Games. IEEE Intelligent Systems. 2016, 31(5), 24-30. ISSN 1541-1672. DOI 10.1109/MIS.2016.74.

GRILL, M. and T. PEVNÝ. Learning Combination of Anomaly Detectors for Security Domain. Computer Networks. 2016, 107(1), 55-63. ISSN 1389-1286. DOI 10.1016/j.comnet.2016.05.021.

EGAN, M. and M. JAKOB. Market Mechanism Design for Profitable On-Demand Transport Services. Transportation Research Part B: Methodological. 2016, 89(1), 178-195. ISSN 0191-2615. DOI 10.1016/j.trb.2016.04.020.

JUSKO, J., et al. Using Behavioral Similarity for Botnet Command-and-Control Discovery. IEEE Intelligent Systems. 2016, 31(5), 16-22. ISSN 1541-1672. DOI 10.1109/MIS.2016.88.

TOŽIČKA, J. and A. KOMENDA. Diverse Planning for UAV Control and Remote Sensing. Sensors. 2016, 16(12), ISSN 1424-8220. DOI 10.3390/s16122199. Available from: http://www.mdpi.com/1424-8220/16/12/2199/html

KOMENDA, A., M. ŠTOLBA, and D.L. KOVACS. The International Competition of Distributed and Multiagent Planners (CoDMAP). AI Magazine. 2016, 37(3), 109-115. ISSN 0738-4602. DOI 10.21918/aimag.v37i3.2658. Available from: http://www.aimagazine-digital.org/aimagazine/fall_2016?sub_id=SAovsngGEroZ&pg=111#pg111

DRCHAL, J., M. ČERTICKÝ, and M. JAKOB. VALFRAM: Validation Framework for Activity-Based Models. Journal of Artificial Societies and Social Simulation. 2016, 5(19(3)), ISSN 1460-7425. DOI 10.18564/jasss.3127.

Patents

Cisco Technology, Inc. Events from network flows. Inventors: G. ŠOUREK, et al. United States. Patent US 9374383 B2. 2016-06-21. Available from: https://www.google.com/patents/US20160112442?hl=cs

Papers in Other Journals

FAIGL, J. An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective. Computational Intelligence and Neuroscience. 2016, 2016 ISSN 1687-5273. DOI 10.1155/2016/2720630. Available from: https://www.hindawi.com/journals/cin/2016/2720630/

PADEN, B, et al. A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles. IEEE Transactions on Intelligent Vehicles. 2016, 1(1), 33-55. ISSN 2379-8858. DOI 10.1109/TIV.2016.2578706.

Books, Book Chapters and Lecture Notes

GARCÍA, S. and M. PĚCHOUČEK, eds. Detecting the Behavioral Relationships of Malware Connections. New York: ACM, 2016. ISBN 978-1-4503-4304-6. Available from: http://dl.acm.org/citation.cfm?id=2970038

KOMENDA, A. and G. SHANI, eds. Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16). London, 2016-06-14. Praha: Czech Technical University in Prague, 2016. Available from: http://icaps16.icaps-conference.org/proceedings/dmap16.pdf

Conference Proceedings

ČERNÝ, L., P. ČÍŽEK, and J. FAIGL. On Evaluation of Motion Gaits Energy Efficiency with a Hexapod Crawling Robot. In: Acta Polytechnica CTU Proceedings. Student Conference on Planning in Artificial Intelligence and Robotics, Deggendorf, 2016-09-18. Praha: CTU. Czech Technical University Publishing House, 2016. p. 6-10. ISSN 2336-5382. ISBN 978-80-01-06022-3. DOI 10.14311/APP.2016.6.0006.

ČERMÁK, J., et al. Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-form Games. In: AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. The Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, 2016-02-12/2016-02-17. Menlo Park: AAAI Press, 2016. p. 439-445. ISBN 978-1-57735-760-5.

FAIGL, J., R. PĚNIČKA, and G. BEST. Self-Organizing Map-based Solution for the Orienteering Problem with Neighborhoods. In: Proceedings of 2016 IEEE International Conference on Systems, Man, and Cybernetics. 2016 IEEE International Conference on Systems, Man, and Cybernetics, Budapest, 2016-10-09/2016-10-12. IEEE, 2016. ISBN 978-1-5090-1897-0.

KOMÁREK, T., M. GRILL, and T. PEVNÝ. Passive NAT Detection Using HTTP Access Logs. In: 2016 IEEE International Workshop on Information Forensics and Security. The 8th IEEE International Workshop on Information Forensics and Security, Abu Dhabi, 2016-12-04/2016-12-07. IEEE, 2016. ISSN 2157-4774. ISBN 978-1-5090-1138-4. DOI 10.1109/WIFS.2016.7823896. Available from: http://ieeexplore.ieee.org/document/7823896/

PEVNÝ, T. and Petr SOMOL. Discriminative Models for Multi-instance Problems with Tree Structure. In: Proceedings of the 2016 ACM Workshop on Artificial Intelligence and Security. 9th ACM Workshop on Artificial Intelligence and Security, Vienna, 2016-10-28. New York: ACM, 2016. p. 83-91. ISBN 978-1-4503-4573-6. DOI 10.1145/2996758.2996761.

ČÍŽEK, P. and J. FAIGL. On Localization and Mapping with RGB-D Sensor and Hexapod Walking Robot in Rough Terrains. In: Proceedings of 2016 IEEE International Conference on Systems, Man, and Cybernetics. 2016 IEEE International Conference on Systems, Man, and Cybernetics, Budapest, 2016-10-09/2016-10-12. IEEE, 2016. ISBN 978-1-5090-1897-0.

BOERO, M., et al. MyWay Personal Mobility: From Journey Planners to Mobility Resource Management. In: Transportation Research Procedia. Transport Research Arena: TRA2016, Warsaw, 2016-04-18/2016-04-21. Lausanne: Elsevier, 2016. p. 1154-1163. ISSN 2352-1465. DOI 10.1016/j.trpro.2016.05.186.

LUKAČEVIČ, J., et al. THE PREDATOR (PRESSURE DIFFERENCE DEPENDENCY ON ALTITUDE VERIFICATOR) EXPERIMENT. In: 67th International Astronautical Congress. 67th International Astronautical Congresshttps://www.iac2016.org, Guadalajara, 2016-09-26/2016-09-30. International Astronautical Federation, 2016. Available from: http://iafastro.directory/iac/archive/browse/IAC-16/E2/2/34258/

LOKOČ, J., et al. k-NN Classification of Malware in HTTPS Traffic Using the Metric Space Approach. In: CHAU, M., G.A. WANG, and H. CHEN, eds. Intelligence and Security Informatics. 11th Pacific Asia Workshop on Intelligence and Security Informatics, Aucklend, 2016-04-19. Düsseldorf: Springer VDI Verlag, 2016. p. 131-145. ISSN 0302-9743. ISBN 978-3-319-31862-2. DOI 10.1007/978-3-319-31863-9_10.

ŠTOLBA, M. and A. KOMENDA. Computing Multi-Agent Heuristics Additively. In: KOMENDA, A. and G. SHANI, eds. Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16). Workshop on Distributed and Multi-Agent Planning, London, 2016-06-14. Praha: Czech Technical University in Prague, 2016. p. 89-97.

ČÁP, M., J. GREGORIE, and E. FRAZZOLI. Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances. In: Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, 2016-10-09/2016-10-14. Piscataway: IEEE, 2016. p. 5113-5118. ISSN 2153-0866. ISBN 978-1-5090-3762-9. DOI 10.1109/IROS.2016.7759750. Available from: http://ieeexplore.ieee.org/document/7759750/

MILIČKA, P., P. ČÍŽEK, and J. FAIGL. On Chaotic Oscillator-based Central Pattern Generator for Motion Control of Hexapod Walking Robot. In: ITAT 2016: Information Technologies - Applications and Theory: Conference on Theory and Practice of Information Technologies. ITAT 2016 - Informačné technológie - Aplikácie a teória, Tatranské Matliare, 2016-09-15/2016-09-19. Luxemburg: CreateSpace Independent Publishing Platform, 2016. p. 131-137. ISBN 978-1-5370-1674-0.

ŠTOLBA, M., D. FIŠER, and A. KOMENDA. Potential Heuristics for Multi-Agent Planning. In: Proceedings International Conference on Automated Planning and Scheduling. 26th International Conference on Automated Planning and Scheduling, London, 2016-06-12/2016-06-17. Menlo Park: AAAI Press, 2016. p. 308-316. ISSN 2334-0835.

GARCÍA, S. and M. PĚCHOUČEK. Detecting the Behavioral Relationships of Malware Connections. In: Proceedings of the 1st International Workshop on AI for Privacy and Security. 1st International Workshop on AI for Privacy and Security, Hague, 2016-08-29/2016-08-30. New York: ACM, 2016. ISBN 978-1-4503-4304-6. DOI 10.1145/2970030.2970038.

STEJSKAL, M., J. MRVA, and J. FAIGL. Road Following with Blind Crawling Robot. In: IEEE International Conference on Robotics and Automation. Stockholm, 2016-05-16/2016-05-21. Budapešť: Institute of Electrical and Electronics Engineers Inc., 2016. p. 3612-3617. ISSN 1050-4729. ISBN 978-1-4673-8026-3. DOI 10.1109/ICRA.2016.7487544.

KAFKA, P., J. FAIGL, and P. VÁŇA. Random Inspection Tree Algorithm in Visual Inspection with a Realistic Sensing Model and Differential Constraints. In: IEEE International Conference on Robotics and Automation. Stockholm, 2016-05-16/2016-05-21. Budapešť: Institute of Electrical and Electronics Engineers Inc., 2016. p. 2782-2787. ISSN 1050-4729. ISBN 978-1-4673-8026-3. DOI 10.1109/ICRA.2016.7487440.

ČÍŽEK, P., J. FAIGL, and D. MASRI. Low-Latency Image Processing for Vision-Based Navigation Systems. In: IEEE International Conference on Robotics and Automation. Stockholm, 2016-05-16/2016-05-21. Budapešť: Institute of Electrical and Electronics Engineers Inc., 2016. p. 781-786. ISSN 1050-4729. ISBN 978-1-4673-8026-3. DOI 10.1109/ICRA.2016.7487207.

PABLO TORRES, PT, et al. An analysis of Recurrent Neural Networks for Botnet detection behavior. In: 2016 IEEE Biennial Congress of Argentina. Buenos Aires, 2016-06-15/2016-06-17. San Francisco: American Institute of Physics and Magnetic Society of the IEEE, 2016. ISBN 978-1-4673-9764-3. DOI 10.1109/ARGENCON.2016.7585247.

BEST, G., J. FAIGL, and R. FITCH. Multi-Robot Path Planning for Budgeted Active Perception with Self-Organising Maps. In: Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, 2016-10-09/2016-10-14. Piscataway: IEEE, 2016. p. 3164-3171. ISSN 2153-0866. ISBN 978-1-5090-3762-9. DOI 10.1109/IROS.2016.7759489. Available from: http://ieeexplore.ieee.org/document/7759489/

SELECKÝ, M. and M. ROLLO. Distributed Control of Heterogeneous Team of Autonomous UAVs. In: XPONENTIAL 2016: An AUVSI Experience. New Orleans, Louisiana, 2016-05-02/2016-05-05. Arlington: Association for Unmanned Vehicle Systems International, 2016. p. 707-716. ISBN 9781510828537.

VÁŇA, P. and J. FAIGL. The Dubins Traveling Salesman Problem with Constrained Collecting Maneuvers. In: Acta Polytechnica CTU Proceedings. Student Conference on Planning in Artificial Intelligence and Robotics, Deggendorf, 2016-09-18. Praha: CTU. Czech Technical University Publishing House, 2016. p. 34-39. ISSN 2336-5382. ISBN 978-80-01-06022-3. DOI 10.14311/APP.2016.6.0034.

BAYER, J., P. ČÍŽEK, and J. FAIGL. On Construction of a Reliable Ground Truth for Evaluation of Visual SLAM Algorithms. In: Acta Polytechnica CTU Proceedings. Student Conference on Planning in Artificial Intelligence and Robotics, Deggendorf, 2016-09-18. Praha: CTU. Czech Technical University Publishing House, 2016. p. 1-5. ISSN 2336-5382. ISBN 978-80-01-06022-3. DOI 10.14311/APP.2016.6.0001.

FISCHER, T., et al. Stereo Vision-Based Localization for Hexapod Walking Robots Operating in Rough Terrains. In: Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, 2016-10-09/2016-10-14. Piscataway: IEEE, 2016. p. 2492-2497. ISSN 2153-0866. ISBN 978-1-5090-3762-9. DOI 10.1109/IROS.2016.7759388. Available from: http://ieeexplore.ieee.org/document/7759388/

KER, Andrew D., T. PEVNÝ, and Patrick BAS. Rethinking Optimal Embedding. In: Proceedings of the 4th ACM Workshop on Information Hiding and Multimedia Security. 4th ACM Workshop on Information Hiding and Multimedia Security, Vigo, 2016-06-20/2016-06-22. New York: ACM, 2016. p. 93-102. ISBN 978-1-4503-4290-2. DOI 10.1145/2909827.2930797.

VONÁSEK, V. and J. FAIGL. Evolution of multiple gaits for modular robots. In: 2016 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2016). Athens, 2016-12-06/2016-12-09. Piscataway, NJ: IEEE, 2016. p. 1-8. ISBN 978-1-5090-4240-1. DOI 10.1109/SSCI.2016.7850182. Available from: http://ssci2016.cs.surrey.ac.uk/

VANĚK, O., et al. ARETHUS - A Decision Support Platform for Reasoning About Security. In: Proceedings of the NATO Advanced Research Workshop on Meeting Security Challenges Through Data Analytics and Decision Support. NATO Advanced Research Workshop on Meeting Security Challenges Through Data Analytics and Decision Support, Aghveran, 2015-06-01/2015-06-05. Amsterdam: IOS Press BV, 2016. p. 184-202. ISSN 1874-6268. ISBN 978-1-61499-715-3. DOI 10.3233/978-1-61499-716-0-184.

HORÁK, K. and B. BOŠANSKÝ. A Point-Based Approximate Algorithm for One-Side Partially Observable Pursuit-Evasion Games. In: ZHU, Q., et al., eds. Decision and Game Theory for Security. 7th Conference on Decision and Game Theory for Security, New York, 2016-11-02/2016-11-04. Basel: Springer, 2016. p. 435-454. ISSN 0302-9743. ISBN 978-3-319-47412-0. DOI 10.1007/978-3-319-47413-7_25.

VANĚK, O., et al. Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach. In: Proceedings of the NATO Advanced Research Workshop on Meeting Security Challenges Through Data Analytics and Decision Support. NATO Advanced Research Workshop on Meeting Security Challenges Through Data Analytics and Decision Support, Aghveran, 2015-06-01/2015-06-05. Amsterdam: IOS Press BV, 2016. p. 168-183. ISSN 1874-6268. ISBN 978-1-61499-715-3. DOI 10.3233/978-1-61499-716-0-168.

GARCÍA, S., MJE MARIA JOSE ERQUIAGA, and CC CARLOS CATANIA. Detecting DGA Malware traffic through Behavioral Models. In: 2016 IEEE Biennial Congress of Argentina. Buenos Aires, 2016-06-15/2016-06-17. San Francisco: American Institute of Physics and Magnetic Society of the IEEE, 2016. ISBN 978-1-4673-9764-3. DOI 10.1109/ARGENCON.2016.7585238.

ŠTOLBA, M., A. KOMENDA, and D.L. KOVACS. Competition of Distributed and Multiagent Planners (CoDMAP). In: AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. The Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, 2016-02-12/2016-02-17. Menlo Park: AAAI Press, 2016. p. 4343-4345. ISBN 978-1-57735-760-5.

ŠTOLBA, M., J. TOŽIČKA, and A. KOMENDA. Quantifying Privacy Leakage in Multi-Agent Planning. In: KOMENDA, A. and G. SHANI, eds. Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16). Workshop on Distributed and Multi-Agent Planning, London, 2016-06-14. Praha: Czech Technical University in Prague, 2016. p. 80-88.

ČECH, Přemysl, et al. Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce. In: GOOS, G., J. HARTMANIS, and J. VAN LEEUWEN, eds. Similarity Search and Applications. 9th International Conference on Similarity Search and Applications, Tokio, 2016-10-24/2016-10-26. Basel: Springer, 2016. p. 311-324. 9939. ISSN 0302-9743. ISBN 978-3-319-46758-0. DOI 10.1007/978-3-319-46759-7_24.

TOŽIČKA, J., et al. Recursive Polynomial Reductions for Classical Planning. In: Proceedings International Conference on Automated Planning and Scheduling. 26th International Conference on Automated Planning and Scheduling, London, 2016-06-12/2016-06-17. Menlo Park: AAAI Press, 2016. p. 317-325. ISSN 2334-0835.

FAIGL, J. and P. VÁŇA. Self-Organizing Map for the Curvature-Constrained Traveling Salesman Problem. In: ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II. 25th International Conference on Artificial Neural Networks and Machine Learning, Barcelona, 2016-09-06/2016-09-09. Düsseldorf: Springer VDI Verlag, 2016. p. 497-505. ISSN 0302-9743. ISBN 978-3-319-44780-3. DOI 10.1007/978-3-319-44781-0_59.

FAIGL, J. and P. VÁŇA. Self-Organizing Map for Data Collection Planning in Persistent Monitoring with Spatial Correlations. In: Proceedings of 2016 IEEE International Conference on Systems, Man, and Cybernetics. 2016 IEEE International Conference on Systems, Man, and Cybernetics, Budapest, 2016-10-09/2016-10-12. IEEE, 2016. ISBN 978-1-5090-1897-0.

Research Reports

DURKOTA, K., et al. Game-theoretic Analysis of Detecting Data Exfiltration. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 032017.

KUNGURTSEV, V. and T. PEVNÝ. Algorithms for Solving Optimization Problems Arsing from Deep Neural Net Models: Smooth Problems. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301351C006.

KOPŘIVA, Š. and M. PĚCHOUČEK. Next generation services XPlanning 3. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301630C002.

GARCÍA, S. Cisco Security Projects Activity Report. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301351C008.

KOPŘIVA, Š. and M. PĚCHOUČEK. Next generation services XPlanning 2. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301630C001.

DRCHAL, J., J. MRKOS, and M. JAKOB. Data-driven Models for Taxi Matchmaking. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301640.

KOPŘIVA, Š. and M. PĚCHOUČEK. Next generation services XPlanning 1. [Research Report] Praha: CTU FEE. Artificial Intelligence Center, 2016. Report no. 8301630C000.