13136 / 13141 - Artificial Intelligence Center

Publications 2020

Papers in WoS Journals

RAMIČIĆ, M. and A. BONARINI. Correlation minimizing replay memory in temporal-difference reinforcement learning. Neurocomputing. 2020, 393 91-100. ISSN 0925-2312. DOI 10.1016/j.neucom.2020.02.004.

FAIGL, J. Unsupervised learning-based solution of the Close Enough Dubins Orienteering Problem. Neural Computing and Applications. 2020, 24(32), 18193-18211. ISSN 0941-0643. DOI 10.1007/s00521-019-04222-9.

KOPP, M., T. PEVNÝ, and M. HOLEŇA. Anomaly explanation with random forests. Expert Systems with Applications. 2020, 2020(149), ISSN 0957-4174. DOI 10.1016/j.eswa.2020.113187.

VÁŇA, P. and J. FAIGL. Optimal solution of the Generalized Dubins Interval Problem: finding the shortest curvature-constrained path through a set of regions. Autonomous Robots. 2020, 2020(44), 1359-1376. ISSN 0929-5593. DOI 10.1007/s10514-020-09932-x.

VALLATI, M., L. CHRPA, and I. SERINA. MEvo: A Framework for Effective Macro Sets Evolution. Journal of Experimental and Theoretical Artificial Intelligence. 2020, 32(4), 685-703. ISSN 0952-813X. DOI 10.1080/0952813X.2019.1672796.

ŠKVÁRA, V., et al. Detection of Alfven Eigenmodes on COMPASS with Generative Neural Networks. Fusion Science & Technology. 2020, 76(8), 962-971. ISSN 1536-1055. DOI 10.1080/15361055.2020.1820805.

MACA, V., et al. Incentivizing Commuter Cycling by Financial and Non-Financial Rewards. International Journal of Environmental Research and Public Health. 2020, 17(17), 1-14. ISSN 1660-4601. DOI 10.3390/ijerph17176033. Available from: https://www.mdpi.com/1660-4601/17/17/6033

KOVAŘÍK, V. and V. LISÝ. Analysis of Hannan consistent selection for Monte Carlo tree search in simultaneous move games. Machine Learning. 2020, 109(1), 1-50. ISSN 0885-6125. DOI 10.1007/s10994-019-05832-z.

JANISCH, J., T. PEVNÝ, and V. LISÝ. Classification with Costly Features as a Sequential Decision-making Problem. Machine Learning. 2020, 109(8), 1587-1615. ISSN 0885-6125. DOI 10.1007/s10994-020-05874-8.

YANG, T., et al. Raindrop Removal With Light Field Image Using Image Inpainting. IEEE Access. 2020, 2020(8), 58416-58426. ISSN 2169-3536. DOI 10.1109/ACCESS.2020.2981641. Available from: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09040628.pdf

ČERMÁK, J., V. LISÝ, and B. BOŠANSKÝ. Automated Construction of Bounded-loss Imperfect-recall Abstractions in Extensive-form Games. Artificial Intelligence. 2020, 282 ISSN 0004-3702. DOI 10.1016/j.artint.2020.103248.

PETRLÍK, M., et al. A Robust UAV System for Operations in a Constrained Environment. IEEE Robotics and Automation Letters. 2020, 5(2), 2169-2176. ISSN 2377-3766. DOI 10.1109/LRA.2020.2970980. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8979150

VÁŇA, P., J. SLÁMA, and J. FAIGL. Surveillance Planning with Safe Emergency Landing Guarantee for Fixed-wing Aircraft. Robotics and Autonomous Systems. 2020, 133 1-13. ISSN 0921-8890. DOI 10.1016/j.robot.2020.103644.

Papers in Other Journals

BASMADJIAN, R., et al. A Reference Architecture for Interoperable Reservation Systems in Electric Vehicle Charging. Smart Cities. 2020, 2020(3), 1405-1427. ISSN 2624-6511. DOI 10.3390/smartcities3040067. Available from: https://www.mdpi.com/2624-6511/3/4/67

DIFONZO, F. A Note on Attractivity for the Intersection of two Discontinuity Manifolds. Opuscula Mathematica. 2020, 40(6), 685-702. ISSN 1232-9274. DOI 10.7494/OpMath.2020.40.6.685.

Books, Book Chapters and Lecture Notes

URBANOVSKÁ, M., et al., eds. Model-free Automated Planning Using Neural Networks. Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020.

HEIM, N., T. PEVNÝ, and V. ŠMÍDL, eds. Neural Power Units. Neural Information Processing Systems Foundation, Inc., 2020. Available from: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html

CHRPA, L. Modeling Planning Tasks: Representation Matters. In: Knowledge Engineering Tools and Techniques for AI Planning. Cham: Springer, 2020. p. 107-123. ISBN 978-3-030-38560-6.

CHRPA, L. Planning in a Real-World Application: An AUV Case Study. In: Knowledge Engineering Tools and Techniques for AI Planning. Cham: Springer, 2020. p. 249-259. ISBN 978-3-030-38560-6.

Conference Proceedings

VOMLELOVÁ, M., et al. Automated Acquisition of Control Knowledge for Classical Planners. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence. ICAART 2020: the 12th International Conference on Agents and Artificial Intelligence, Valletta, 2020-02-22/2020-02-24. Porto: SciTePress - Science and Technology Publications, 2020. p. 959-966. vol. 2. ISSN 2184-433X. ISBN 978-989-758-395-7. DOI 10.5220/0009175209590966.

ROUČEK, T., et al. DARPA Subterranean Challenge: Multi-robotic exploration of underground environments. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. p. 274-290. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_22. Available from: https://link.springer.com/chapter/10.1007%2F978-3-030-43890-6_22

MORAK, M.M., et al. On the Reversibility of Actions in Planning. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, 2020-09-12/2020-09-18. International Joint Conferences on Artificial Intelligence Organization, 2020. p. 652-661. ISSN 2334-1033. ISBN 978-0-9992411-7-2. DOI 10.24963/kr.2020/65.

BAYER, J. and J. FAIGL. Handheld Localization Device for Indoor Environments. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. p. 60-64. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265494.

BUMBÁLEK, R., M. ŠTOLBA, and A. KOMENDA. Secure Multi-agent Planning via Sharemind. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence. ICAART 2020: the 12th International Conference on Agents and Artificial Intelligence, Valletta, 2020-02-22/2020-02-24. Porto: SciTePress - Science and Technology Publications, 2020. p. 852-859. vol. 2. ISSN 2184-433X. ISBN 978-989-758-395-7. DOI 10.5220/0009147908520859.

DECKEROVÁ, J. and J. FAIGL. Hopfield Neural Network in Solution of the Close Enough Orienteering Problem. In: CEUR Workshop Proceedings. 20th Conference Information Technologies - Applicationsand Theory, Oravská Lesná, 2021-09-18/2021-09-22. CEUR-WS.org, 2020. p. 169-175. ISSN 1613-0073.

PRÁGR, M., P. VÁŇA, and J. FAIGL. Aerial Reconnaissance and Ground Robot Terrain Learning in Traversal Cost Assessment. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. p. 3-10. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_1. Available from: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_1

VALEROS, V. and S. GARCÍA. Growth and Commoditization of Remote Access Trojans. In: IEEE European Symposium on Security and Privacy Workshops. Genoa, 2020-09-07/2020-09-11. Brighton: Institute of Electrical and Electronics Engineers, 2020. p. 454-462. ISBN 978-1-7281-8597-2. DOI 10.1109/EuroSPW51379.2020.00067.

FAIGL, J., P. VÁŇA, and J. DRCHAL. Fast Sequence Rejection for Multi-Goal Planning with Dubins Vehicle. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. Las Vegas, 2020-10-25/2021-01-24. Piscataway: IEEE Robotics and Automation Society, 2020. p. 6773-6780. ISSN 2153-0866. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9340644. Available from: https://ieeexplore.ieee.org/document/9340644

CHRPA, L., et al. Determining Action Reversibility in STRIPS Using Answer Set Programming. In: International Conference on Logic Programming 2020 Workshop Proceedings. International Conference on Logic Programming, Rende, 2020-09-18/2020-09-19. Aachen: CEUR Workshop Proceedings, 2020. ISSN 1613-0073.

YAN, Z., et al. EU Long-term Dataset with Multiple Sensors for Autonomous Driving. In: Proceedings of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 2020: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, 2020-10-24/2021-01-24. Los Alamitos: IEEE Computer Society, 2020. p. 10697-10704. ISSN 2153-0858. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9341406.

BAYER, J. and J. FAIGL. Speeded Up Elevation Map for Exploration of Large-Scale Subterranean Environments. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. p. 190-202. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_15. Available from: https://link.springer.com/chapter/10.1007/978-3-030-43890-6_15

SZADKOWSKI, R., M. PRÁGR, and J. FAIGL. Transfer of Inter-Robotic Inductive Classifier. In: Proceedings of the 2020 4 th International Conference on Automation, Control and Robots. 4th International Conference on Automation, Control and Robots, Rome, 2020-11-11/2020-11-13. Piscataway: IEEE Service Center, 2020. p. 32-36. ISBN 978-1-7281-9207-9. DOI 10.1109/ICACR51161.2020.9265509.

CHRPA, L., M. PILÁT, and J. GEMROT. Compiling planning problems with non-deterministic events into FOND planning. In: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop. Rende, 2019-11-19/2019-11-20. CEUR-WS.org, 2020. ISSN 1613-0073. Available from: http://ceur-ws.org/Vol-2538/paper6.pdf

PAČES, P. Avionics Testing with Artificial Intelligence Support. In: LETSU-DAKE, E., et al., eds. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) Proceedings. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), San Antonio, Texas, 2020-10-11/2020-10-16. Piscataway: IEEE Service Center, 2020. ISSN 2155-7195. ISBN 978-1-7281-9825-5. DOI 10.1109/DASC50938.2020.9256563.

VÁŇA, P., et al. Minimal 3D Dubins Path with Bounded Curvature and Pitch Angle. In: IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), Paris, 2020-05-31/2020-08-31. IEEE Xplore, 2020. p. 8497-8503. ISSN 2577-087X. ISBN 978-1-7281-7395-5. DOI 10.1109/ICRA40945.2020.9197084. Available from: https://ieeexplore.ieee.org/abstract/document/9197084

HEIM, N., T. PEVNÝ, and V. ŠMÍDL. Neural Power Units. In: Advances in Neural Information Processing Systems 33 (NeurIPS 2020). NeurIPS2020: 33rd Neural Information Processing Systems, Vancouver, 2020-12-06/2020-12-12. Montreal: Neural Information Processing Society, 2020. ISSN 1049-5258. Available from: https://proceedings.neurips.cc/paper/2020/hash/48e59000d7dfcf6c1d96ce4a603ed738-Abstract.html

DĚDIČ, M., et al. Loss Functions for Clustering in Multi-instance Learning. In: Proceedings of the 20th Conference Information Technologies - Applications and Theory (ITAT 2020). ITAT 2020: Information Technologies – Applications and Theory, hotel Tyrapol, Oravská Lesná, 2020-09-18/2020-09-22. Aachen: CEUR Workshop Proceedings, 2020. p. 137-146. ISSN 1613-0073. Available from: http://ceur-ws.org/Vol-2718/paper05.pdf

CHRPA, L., P. RYTÍŘ, and R. HORČÍK. Acting in Dynamic Environments: Models of Agent-Environment Interaction. In: Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling. Knowledge Engineering for Planning and Scheduling, Nancy, 2020-10-26/2020-10-30. Grenoble: Elsevier, 2020.

KRAJNÍK, T., et al. CHRONOROBOTICS: Representing the Structure of Time for Service Robots. In: ISCSIC 2020: Proceedings of the 2020 4th International Symposium on Computer Science and Intelligent Control. ISCSIC 2020: 2020 4th International Symposium on Computer Science and Intelligent Control, Newcastle, 2020-11-17/2020-11-19. New York: Association for Computing Machinery, 2020. ISBN 978-1-4503-8889-4. DOI 10.1145/3440084.3441195.

VINTR, T., et al. Natural Criteria for Comparison of Pedestrian Flow Forecasting Models. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems. Las Vegas, 2020-10-25/2021-01-24. Piscataway: IEEE Robotics and Automation Society, 2020. p. 11197-11204. ISSN 2153-0866. ISBN 978-1-7281-6212-6. DOI 10.1109/IROS45743.2020.9341672. Available from: https://ieeexplore.ieee.org/abstract/document/9341672

VALLATI, M. and L. CHRPA. Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. In: AI 2020: Advances in Artificial Intelligence. Australasian Joint Conference on Artificial Intelligence, Canberra, 2020-11-29/2020-11-30. Cham: Springer, 2020. p. 69-81. ISSN 0302-9743. ISBN 978-3-030-64983-8. DOI 10.1007/978-3-030-64984-5_6.

CHRPA, L., P. RYTÍŘ, and R. HORČÍK. Planning Against Adversary in Zero-Sum Games: Heuristics for Selecting and Ordering Critical Actions. In: Proceedings of the Twelfth International Symposium on Combinatorial Search. Thirteenth Annual Symposium on Combinatorial Search, Vídeň, 2020-05-26/2020-05-28. Menlo Park: AAAI Press, 2020. p. 20-28. ISBN 978-1-57735-822-0.

SZADKOWSKI, R. and J. FAIGL. Neurodynamic Sensory-Motor Phase Binding for Multi-Legged Walking Robots. In: Proceedings of 2020 International Joint Conference on Neural Networks. 2020 International Joint Conference on Neural Networks (IJCNN 2020), Glasgow, 2020-07-19/2020-07-24. Piscataway: IEEE Service Center, 2020. ISSN 2161-4407. ISBN 978-1-7281-6926-2. DOI 10.1109/IJCNN48605.2020.9207507. Available from: https://ieeexplore.ieee.org/document/9207507

ČERMÁK, J., V. LISÝ, and B. BOŠANSKÝ. Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. p. 5030-5034. ISBN 978-0-9992411-6-5. Available from: https://www.ijcai.org/Proceedings/2020/0701.pdf

PETROVA, O., et al. Discovering Imperfectly Observable Adversarial Actions Using Anomaly Detection. In: Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems. International Conference on Autonomous Agents and Multi-Agent Systems, Auckland, 2020-05-09/2020-05-13. County of Richland: IFAAMAS, 2020. p. 1969-1971. ISSN 1548-8403. ISBN 978-1-4503-7518-4.

PEVNÝ, T., et al. Sum-Product-Transform Networks: Exploiting Symmetries using Invertible Transformations. In: Proceedings of the 10th International Conference on Probabilistic Graphical Models. International Conference on Probabilistic Graphical Models, Aalborg, 2020-09-23/2020-09-25. Proceedings of Machine Learning Research, 2020. p. 341-352. vol. 138. ISSN 2640-3498. Available from: http://proceedings.mlr.press/v138/pevny20a.html

FIŠER, D., R. HORČÍK, and A. KOMENDA. Strengthening Potential Heuristics with Mutexes and Disambiguations. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. ICAPS 2020: the 30th International Conference on Automated Planning and Scheduling, Nancy, 2020-10-26/2020-10-30. Menlo Park: AAAI Press, 2020. p. 124-133. ISSN 2334-0835. ISBN 978-1-57735-824-4.

PRÁGR, M. and J. FAIGL. Terrain Learning Using Time Series of Ground Unit Traversal Cost. In: 6th International Workshop on Modelling and Simulation for Autonomous Systems. MESAS 2019 - Modelling & Simulation for Autonomous Systems, Palermo, 2019-10-29/2019-10-31. Wien: Springer, 2020. p. 97-107. ISSN 1611-3349. ISBN 9783030438890. DOI 10.1007/978-3-030-43890-6_8. Available from: https://link.springer.com/chapter/10.1007%2F978-3-030-43890-6_8

FIŠER, D. Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems. In: Proceedings of the AAAI Conference on Artificial Intelligence. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, 2020-02-07/2020-02-12. Menlo Park: AAAI Press, 2020. p. 9835-9842. ISSN 2159-5399. ISBN 978-1-57735-835-0. DOI 10.1609/aaai.v34i06.6536.

TOMÁŠEK, P., B. BOŠANSKÝ, and T.H. NGUYEN. Using One-Sided Partially Observable Stochastic Games for Solving Zero-Sum Security Games with Sequential Attacks. In: Decision and Game Theory for Security. 11th Conference on Decision and Game Theory for Security, Maryland, 2020-10-26/2020-10-30. Cham: Springer International Publishing, 2020. p. 385-404. ISSN 0302-9743. ISBN 978-3-030-64792-6. DOI 10.1007/978-3-030-64793-3_21.

CHRPA, L., et al. Towards Generating Effective Plans in Zero-sum Games by Estimating Strategy ofan Adversary. In: Proceedings of The first online Workshop of the UK Planning & Scheduling Special Interest Group. The first online Workshop of the UK Planning & Scheduling Special Interest Group, virtual conference, 2020-12-16. London: WordPress, 2020.

KUNGURTSEV, V. and J. MAREČEK. A Two-Step Pre-Processing for Semidefinite Programming. In: Proceedings of the 59th IEEE Conference on Decision and Control. 59th IEEE Conference on Decision and Control, Jeju Island, 2020-12-14/2020-12-18. Institute of Electrical and Electronics Engineers, Inc., 2020. p. 384-389. ISSN 2576-2370. ISBN 978-1-7281-7447-1. DOI 10.1109/CDC42340.2020.9304494. Available from: https://ieeexplore.ieee.org/abstract/document/9304494

ŠTEFANÍKOVÁ, P., P. VÁŇA, and J. FAIGL. Greedy Randomized Adaptive Search Procedure for Close Enough Orienteering Problem. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. p. 808-814. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374010.

KUČEROVÁ, K., P. VÁŇA, and J. FAIGL. On finding time-efficient trajectories for fixed-wing aircraft using dubins paths with multiple radii. In: Proceedings of the ACM Symposium on Applied Computing. The 35th Annual ACM Symposium on Applied Computing, Brno, 2020-03-30/2020-04-03. New York: Association for Computing Machinery, 2020. p. 829-831. ISBN 978-1-4503-6866-7. DOI 10.1145/3341105.3374112.

CHRPA, L., J. GERMOT, and M. PILÁT. Planning and Acting with Non-deterministic Events:Navigating between Safe States. In: Proceedings of the AAAI Conference on Artificial Intelligence. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, 2020-02-07/2020-02-12. Menlo Park: AAAI Press, 2020. p. 9802-9809. ISSN 2159-5399. ISBN 978-1-57735-835-0.

ČERNY, J., et al. Dinkelbach-type algorithm for computing quantal stackelberg equilibrium. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Yokohama, 2020-07-11/2020-07-17. International Joint Conferences on Artificial Intelligence Organization, 2020. p. 246-253. ISBN 978-0-9992411-6-5. Available from: https://www.ijcai.org/Proceedings/2020/0035.pdf

ČERNÝ, J., B. BOŠANSKÝ, and B. AN. Finite State Machines Play Extensive-Form Games. In: EC '20: Proceedings of the 21st ACM Conference on Economics and Computation. The Twenty-First ACM Conference on Economics and Computation (EC'20), Virtual On-line, 2020-07-13/2020-07-16. Association for Computing Machinery, 2020. p. 509-533. ISBN 978-1-4503-7975-5. DOI 10.1145/3391403.3399517. Available from: https://dl.acm.org/doi/abs/10.1145/3391403.3399517

VALLATI, M. and L. CHRPA. A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. In: AI 2020: Advances in Artificial Intelligence. Australasian Joint Conference on Artificial Intelligence, Canberra, 2020-11-29/2020-11-30. Cham: Springer, 2020. p. 82-93. ISSN 0302-9743. ISBN 978-3-030-64983-8. DOI 10.1007/978-3-030-64984-5_7.

ČÁP, M. and T. ROUN. Rebalancing in Vehicle-sharing Systems with Service Availability Guarantees. In: Proceedings of 2020 American Control Conference. 2020 American Control Conference, Denver, 2020-07-01/2020-07-03. Anchorage, Alaska: IEEE, 2020. p. 2635-2642. ISSN 2378-5861. ISBN 978-1-5386-8266-1. DOI 10.23919/ACC45564.2020.9147303. Available from: https://ieeexplore.ieee.org/document/9147303

Research Reports

UBIEDO, L., et al. Current State of IPv6 Security in IoT. [Research Report] 2020. Report no. Avast Software 2021.