13136 / 13141 - Artificial Intelligence Center

Publications 2025

Papers in WoS Journals

MRKOS, J., et al. Online Dynamic Pricing for Electric Vehicle Charging Stations With Reservations. IEEE Transactions on Intelligent Transportation Systems. 2025, 26(9), 13882-13897. ISSN 1524-9050. DOI 10.1109/TITS.2025.3565906.

BELLON, A., et al. Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. Mathematics of Operations Research. 2025, 50(1), 410-430. ISSN 0364-765X. DOI 10.1287/moor.2021.0097.

BAYER, J. and J. FAIGL. Decentralized multi-robot exploration under low-bandwidth communications. Autonomous Robots. 2025, 50(1), 1-27. ISSN 0929-5593. DOI 10.1007/s10514-025-10234-3.

SZADKOWSKI, R. and J. FAIGL. Lifelong Active Inference of Gait Control. IEEE Transactions on Neural Networks and Learning Systems. 2025, 36(10), 19133-19144. ISSN 2162-237X. DOI 10.1109/TNNLS.2025.3579814.

BLAHA, J., et al. On the Movement of the Honeybee Queen in the Hive. Scientific Reports. 2025, 15(1), 1-17. ISSN 2045-2322. DOI 10.1038/s41598-025-07093-4. Available from: https://www.nature.com/articles/s41598-025-07093-4

GRIGGS, W.M., et al. Unique ergodicity in feedback interconnections of ensembles of agents. International Journal of Control. 2025, 98(11), 2559-2566. ISSN 0020-7179. DOI 10.1080/00207179.2025.2469281.

OKUNEVICH, I., et al. Online Context Learning for Socially Compliant Navigation. IEEE Robotics and Automation Letters. 2025, 10(5), 5042-5049. ISSN 2377-3766. DOI 10.1109/LRA.2025.3557309. Available from: https://www.researchgate.net/publication/390442111_Online_Context_Learning_for_Socially_Compliant_Navigation

BALADA GAGGIOLI, L. and J. MAREČEK. Time evolution of controlled many-body quantum systems with matrix product operators. PHYSICAL REVIEW A. 2025, 112(6), 1-9. ISSN 2469-9926. DOI 10.1103/9mfk-gg3x.

WOODBURN, M., et al. Herd Routes: a feedback control-based preventative system for improving female pedestrian safety on city streets. International Journal of Control. 2025, 98(5), 1032-1045. ISSN 0020-7179. DOI 10.1080/00207179.2024.2380025.

CUCHÝ, M., M. JAKOB, and J. MRKOS. Route and Charging Planning for Electric Vehicles: A Multi-Objective Approach. Transportation Letters. 2025, 17(1), 1-21. ISSN 1942-7867. DOI 10.1080/19427867.2024.2315359.

JANOTA, J., et al. Non-invasive Honeybee Colony Monitoring via Robotic Mapping of Combs in Observation Hives. Computers and Electronics in Agriculture. 2025, 239(C), 1-21. ISSN 0168-1699. DOI 10.1016/j.compag.2025.111031.

THRAN, J., et al. Reserve Provision From Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control. IEEE Transactions on Power Systems. 2025, 40(5), 4081-4092. ISSN 0885-8950. DOI 10.1109/TPWRS.2025.3539863.

ROZSYPÁLEK, Z., et al. Rapid Deployment of Visual Path Following via Average Representation. Journal of Intelligent and Robotic Systems. 2025, 111(3), 1-20. ISSN 0921-0296. DOI 10.1007/s10846-025-02302-8.

MA, S., et al. Truss Topology Design under Harmonic Loads: Peak Power Minimization with Semidefinite Programming. Structural and Multidisciplinary Optimization. 2025, 68(2), 1-24. ISSN 1615-147X. DOI 10.1007/s00158-025-03973-5.

STRACHOTA, P., et al. Numerically efficient determination of kinetic parameters of the VR-1 nuclear reactor based on experimental data and ODE-constrained optimization. Annals of Nuclear Energy. 2025, 211 ISSN 0306-4549. DOI 10.1016/j.anucene.2024.111023.

GHOTAVADEKAR, A., et al. Variable Time-Step MPC for Agile Multi-Rotor UAV Interception of Dynamic Targets. IEEE Robotics and Automation Letters. 2025, 10(2), 1249-1256. ISSN 2377-3766. DOI 10.1109/LRA.2024.3518096. Available from: https://ieeexplore.ieee.org/document/10803033

Papers in Other Journals

BANDHANA, A. and J. VOKŘÍNEK. AI-Driven Manufacturing: Surveying for Industry 4.0 and Beyond. Operations Research Forum. 2025, 6(4), ISSN 2662-2556. DOI 10.1007/s43069-025-00554-6. Available from: https://link.springer.com/article/10.1007/s43069-025-00554-6

BONDAR, D., et al. Globally optimal control of quantum dynamics. Physical Review Research. 2025, 7(4), ISSN 2643-1564. DOI 10.1103/g4fb-xm13.

KHARMAN, A., et al. An Adversarially Robust Data Market for Spatial, Crowd-sourced Data. Distributed Ledger Technologies: Research and Practice. 2025, 4(4), 1-20. ISSN 2769-6480. DOI 10.1145/3703464.

VALEROS, V. and S. GARCÍA. CTU Hornet 65 Niner: A Network Dataset of Geographically Distributed Low-interaction Honeypots. Data in Brief. 2025, 58 1-8. ISSN 2352-3409. DOI 10.1016/j.dib.2024.111261.

RYTÍŘ, P., et al. ExDBN: Learning Dynamic Bayesian Networks using Extended Mixed-Integer Programming Formulations. Transactions on Machine Learning Research. 2025, November ISSN 2835-8856. Available from: https://openreview.net/forum?id=I64MJzl9Fy

YANG, T., et al. 3D ToF LiDAR for Mobile Robotics in Harsh Environments: A Review. Unmanned System. 2025, 13(02), 309-331. ISSN 2301-3850. DOI 10.1142/S230138502530001X.

Conference Proceedings

RIGAKI, M., et al. Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs. In: Agents and Artificial Intelligence. ICAART 2024 16th International Conference on Agents and Artificial Intelligence, Rome, 2024-02-24/2024-02-26. Springer, Cham, 2025. p. 15-36. ISSN 0302-9743. ISBN 978-3-031-87329-4. DOI 10.1007/978-3-031-87330-0_2.

WANG, H., et al. Towards an Embodied Biohybrid Robotic Platform for Interaction with Honeybees. In: Proceedings of the 2025 IEEE International Conference on Mechatronics and Automation (ICMA). 22nd IEEE International Conference on Mechatronics and Automation, Beijing, 2025-08-03/2025-08-06. Institute of Electrical and Electronics Engineers, Inc., 2025. p. 322-327. ISSN 2152-7431. ISBN 979-8-3315-1427-3. DOI 10.1109/ICMA65362.2025.11120734.

PAPEŽ, M., et al. Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs. In: Proceedings of Machine Learning Research. The 41st Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de Janeiro, 2025-07-21/2025-07-25. ML Research Press, 2025. p. 3416-3450. vol. 286. ISSN 2640-3498.

MAŠKOVÁ, M. and V. ŠMÍDL. Towards AI Analyst: Querying Costly Features for Fraud and Money Laundering Detection. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE Annual International Computer Software and Applications Conference, Toronto, 2025-07-08/2025-07-11. Los Alamitos: IEEE Computer Society, 2025. p. 1905-1910. ISSN 2836-3787. ISBN 979-8-3315-7435-2. DOI 10.1109/COMPSAC65507.2025.00262.

ZOULA, M. and J. FAIGL. Code-based Design for Consistent Prototyping, Manufacture and Physical Modeling of Multimodal Robots. In: 2025 European Conference on Mobile Robots Conference Proceedings. 12th European Conference on Mobile Robots, Padua, 2025-09-02/2025-09-05. IEEE, 2025. ISSN 2767-8733. ISBN 979-8-3315-2705-1. DOI 10.1109/ECMR65884.2025.11163191. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=11163191

KRUTSKÝ, M., et al. Dimensions of Explainability in AI Alignment. In: Proceedings of the International Student Scientific Conference POSTER – 29/2025. 29th International Student Scientific Conference, POSTER 2025, Praha, 2025-05-22. Praha: CTU. Faculty of Electrical Engineering, 2025. ISBN 978-80-01-07422-0. Available from: https://poster2025.sciencesconf.org/data/pages/POSTER_2025.pdf

DECKEROVÁ, J. and J. FAIGL. Lower-bound Solutions to the Touring Regions Problem with Polygonal Obstacles and Disk-shaped Regions. In: 2025 European Conference on Mobile Robots Conference Proceedings. 12th European Conference on Mobile Robots, Padua, 2025-09-02/2025-09-05. IEEE, 2025. p. 1-6. ISSN 2767-8733. ISBN 979-8-3315-2705-1. DOI 10.1109/ECMR65884.2025.11162978. Available from: https://ieeexplore.ieee.org/document/11162978

DRABENT, K. and V. LISÝ. Direct Optimization of Portfolios of Counter Strategies. In: Proceedings of the 2025 7th International Conference on Distributed Artificial Intelligence. 7th International Conference on Distributed Artificial Intelligence, London, 2025-11-21/2025-12-24. New York: Association for Computing Machinery, 2025. p. 67-82. ISBN 979-8-4007-2275-2. DOI 10.1145/3772429.3772437.

KRUTSKÝ, M., et al. XAI Desiderata for Trustworthy AI: Insights from the AI Act. In: FØLSTAD, A., et al., eds. Proceedings of TRUST-AI 2025 – the European Workshop on Trustworthy AI. The European Workshop on Trustworthy AI 2025, Bologna, 2025-10-25/2025-10-26. Aachen: CEUR Workshop Proceedings, 2025. p. 180-187. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4132/short12.pdf

REKABI-BANA, F., et al. Robust Vibration Attenuation for Autonomous Robotic Observation Systems. In: IFAC-PapersOnLine. 10th IFAC Symposium on Mechatronic Systems, MECHATRONICS 2025, Paris, 2025-07-15/2025-07-18. Linz: Elsevier BV, 2025. p. 251-256. vol. 59. ISSN 2405-8963. DOI 10.1016/j.ifacol.2025.10.172. Available from: https://www.sciencedirect.com/science/article/pii/S2405896325015654

HERYNEK, J. and S. EDELKAMP. Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems. In: Communications in Computer and Information Science. 4th Workshop on Agents and Robots for reliable Engineered Autonomy, Santiago de Compostela, 2024-10-19. Basel: Springer Nature Switzerland AG, 2025. p. 1-20. ISSN 1865-0929. ISBN 978-3-031-73179-2. DOI 10.1007/978-3-031-73180-8_1.

KRUTSKÝ, M., et al. Binarizing Physics-Inspired GNNs for Combinatorial Optimization. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 2017-2024. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251038. Available from: https://ebooks.iospress.nl/doi/10.3233/FAIA251038

KUBÍK, J., A. RIŠKOVÁ, and J. FAIGL. Inchworm-like Robot Locomotion using Off-the-Shelf 3D-printable Anisotropic Friction. In: 12th International Symposium on Adaptive Motion of Animals and Machines (AMAM 2025). Darmstadt, 2025-07-07/2025-07-11. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2025. p. 1-3. DOI 10.26083/tuprints-00030958. Available from: https://tuprints.ulb.tu-darmstadt.de/entities/publication/3f569474-1f6f-4be8-9f65-8dc177cb7a8a

RIŠKOVÁ, A., J. KUBÍK, and J. FAIGL. Automated Evaluation of Anisotropic Friction Pads. In: 12th International Symposium on Adaptive Motion of Animals and Machines (AMAM 2025). Darmstadt, 2025-07-07/2025-07-11. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2025. DOI 10.26083/tuprints-00030932. Available from: https://tuprints.ulb.tu-darmstadt.de/entities/publication/a11edd15-50ce-4827-a235-d69cf68f2ea4

SZADKOWSKI, R. and J. FAIGL. Interpretable Active Inference Gait Control Learning. In: 2025 IEEE International Conference on Robotics and Automation (ICRA). 2025 IEEE International Conference on Robotics and Automation (ICRA 2025), Atlanta, 2025-05-19/2025-05-23. Vienna: IEEE Industrial Electronic Society, 2025. p. 9630-9636. ISSN 1050-4729. ISBN 979-8-3315-4139-2. DOI 10.1109/ICRA55743.2025.11128724. Available from: https://ieeexplore.ieee.org/document/11128724

KRUTSKÝ, M., et al. Assessing Explainability Methods for AI Safety Governance. In: Large-Scale Risks of AI: Control, Governance, and Ethics. International Conference on Large-Scale AI Risks, Leuven, 2025-05-26/2025-05-28. KU Leuven, 2025. p. 21-22. Available from: https://www.kuleuven.be/ethics-kuleuven/chair-ai/conference-ai-risks/xrisk-book_of_abstracts-1.pdf

ULLRICH, H. and J. DRCHAL. AIC CTU@FEVER 8: On-premise fact checking through long context RAG. In: Proceedings of the Eighth Fact Extraction and VERification Workshop (FEVER). The Eighth FEVER Workshop, Vídeň, 2025-07-31. Stroudsburg: Association for Computational Linguistics (ACL), 2025. p. 274-280. ISBN 978-1-959429-53-1. DOI 10.18653/v1/2025.fever-1.22.

NĚMEČEK, J., T. PEVNÝ, and J. MAREČEK. Generating Likely Counterfactuals Using Sum-Product Networks. In: LEARNING REPRESENTATIONS. INTERNATIONAL CONFERENCE. 13TH 2025. (ICLR 2025). The Thirteenth International Conference on Learning Representations - ICLR 2025, Singapore EXPO, 2025-04-24/2025-04-28. International Conference on Learning Representations, 2025. p. 74233-74264. ISBN 9798331320850. Available from: https://openreview.net/forum?id=rGyi8NNqB0

NĚMEČEK, J., et al. Bias Detection via Maximum Subgroup Discrepancy. In: KDD '25: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Toronto, 2025-08-03/2025-08-07. New York: Association for Computing Machinery, 2025. p. 2174-2185. ISSN 2154-817X. ISBN 979-8-4007-1454-2. DOI 10.1145/3711896.3736857.

SLADIĆ, M., et al. VelLMes: A High-Interaction AI-Based Deception Framework. In: Proceedings of the 10th IEEE European Symposium on Security and Privacy Workshops. 10th IEEE European Symposium on Security and Privacy, Venice, 2025-06-30/2025-07-04. Cannes: IEEE Computer Society, 2025. p. 671-679. ISSN 2768-0657. ISBN 979-8-3315-9546-3. DOI 10.1109/EuroSPW67616.2025.00082. Available from: https://ieeexplore.ieee.org/abstract/document/11129519

MILEC, D., V. KOVAŘÍK, and V. LISÝ. Adapting Beyond the Depth Limit: Counter Strategies in Large Imperfect Information Games. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-25), Detroit, 2025-05-19/2025-05-23. County of Richland: IFAAMAS, 2025. p. 2675-2677. ISSN 1558-2914. ISBN 979-8-4007-1426-9. Available from: https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p2675.pdf

HORČÍK, R. Action Costs Prediction by Multiplicative Weights Update. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 4702-4709. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251376. Available from: https://ebooks.iospress.nl/volumearticle/76312

TOMARAS, D., et al. AutoFairML: An Automated Middleware for Fairness Auditing in Real-world AI Pipelines. In: Proceedings - 2025 IEEE 45th International Conference on Distributed Computing Systems Workshops. IEEE 45TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, Glasgov, 2025-07-20/2025-07-23. Vienna: IEEE Industrial Electronic Society, 2025. p. 261-266. ISSN 1545-0678. ISBN 979-8-3315-1726-7. DOI 10.1109/ICDCSW63273.2025.00050.

HAJIZADEH, M., et al. DeepRed: A Deep Learning-Powered Command and Control Framework for Multi-Stage Red Teaming Against ML-based Network Intrusion Detection Systems. In: Proceedings of the 19th USENIX Conference on Offensive Technologies. WOOT '25: Proceedings of the 19th USENIX Conference on Offensive Technologies, seattle, 2025-09-25/2025-09-27. The USENIX Association, 2025. p. 103-127. 2025. ISBN 978-1-939133-50-2.

NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: 2025 61st Allerton Conference on Communication, Control, and Computing Proceedings. 2025 61st Allerton Conference on Communication, Control, and Computing, Urbana, 2025-09-17/2025-09-19. Urbana: University of Illinois Library System, 2025. p. 1-8. ISSN 2836-4503. Available from: https://www.ideals.illinois.edu/items/137362

HORČÍK, R., et al. State Encodings for GNN-Based Lifted Planners. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39th AAAI Conference on Artificial Intelligence (AAAI-25), Philadelphia, 2025-02-27/2025-03-02. Menlo Park: AAAI Press, 2025. p. 26525-26533. vol. 39. ISSN 2159-5399. ISBN 978-1-57735-897-8. DOI 10.1609/aaai.v39i25.34853.

Dissertations

RIGAKI, M. Offensive Applications of Machine Learning in Cybersecurity. Praha: Defense date 2025-12-04. PhD Thesis. Czech Technical University in Prague. Supervised by S. GARCÍA.