Vybrané výsledky & Publikace

Spengler, M.; Zahálka, J.; Mettes, P.: Adversarial Attacks on Hyperbolic Networks, In: Computer Vision – ECCV 2024, Part LX. Cham: Springer, 2025. LNCS. vol. 15118. ISSN 0302-9743. ISBN 978-3-031-73026-9.

Vítek, S.; Zbíral, T.; Nežerka, V.: Using hyperspectral imaging to identify optimal narrowband filter parameters for construction and demolition waste classification, Resources, Conservation and Recycling. 2025, 215 ISSN 0921-3449.

Fioravantes, F.; Knop, D.; Křišťan, J.; Melissinos, N.; Opler, M.; Vu, T.A.: Solving Multiagent Path Finding on Highly Centralized Networks, In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2025. ISSN 2159-5399.

Fioravantes, F.; Gahlawat, H.; Melissinos, N.: Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size, In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2025. ISSN 2159-5399.

Vrba, M.; Walter, V.; Pritzl, V.; Pliska, M.; Báča, T.; Spurný, V.; Heřt, D.; Saska, M.: On Onboard LiDAR-Based Flying Object Detection, IEEE Transactions on Robotics. 2025, 41 593-611. ISSN 1941-0468.

Ghotavadekar, A.; Nekovář, F.; Saska, M.; Faigl, J.: 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.

Bonilla Licea, D.; Silano, G.; El Hammouti, H.; Mounir, G.; Saska, M.: Reshaping UAV-Enabled Communications with Omnidirectional Multi-Rotor Aerial Vehicles, IEEE Communications Magazine. 2025, 1-7. ISSN 0163-6804.

Silano, G.; Caballero, A.; Liuzza, D.; Iannelli, L.; Bogdan, S.; Saska, M.: A signal temporal logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study, Robotics and Autonomous Systems. 2025, 186(4), 1-16. ISSN 0921-8890.

Rohani Nezhad, M.; Vahedi-Nouri, B.; Tavakkoli-Moghaddam, R.; Hanzálek, Z.: A matheuristic approach for an integrated lot-sizing and scheduling problem with a period-based learning effect, Expert Systems with Applications. 2025, 269 -. ISSN 0957-4174.

Wang, R.; Daghbouj, N.; Yu, P.; Li, P.; Meng, F.P.; Cammarata, A.; Li, B.S.; Polcar, T. et al.: Enhancing the radiation- and oxidation-resistance of Cr-based coatings via structure regulation and composition optimization, Journal of Materials Science & Technology. 2025, 218 153-169. ISSN 1005-0302.

Orvalho, P.; Janota, M.; Manquinho, V.: CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Proceeding 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS. Springer Science and Business Media Deutschland GmbH, 2025. p. 463-481. vol. 14933. ISSN 1611-3349. ISBN 978-3-031-71162-6.

Sohrabi, F.; Rohani Nezhad, M.; Hesamzadeh, M.; Bemš, J.: Optimal Trading of a Charging-Station Company in Auction Markets for Electricity, IEEE Transactions on Intelligent Transportation Systems. 2025, 1-11. ISSN 1524-9050.

Piepenbrock, J.; Urban, J.; Korovin, K.; Olsak, M.; Janota, M. et al.: Invariant neural architecture for learning term synthesis in instantiation proving, Journal of Symbolic Computation. 2025, 128 ISSN 0747-7171.

Anwar, R.; Al Kape, A.; Lusi, M.; Voutsas, E.; Cammarata, A.; Rafferty, A.; Sofianos, V.: Boosting the thermochemical energy storage performance of Limestone by adding Mayenite, Journal of Energy Storage. 2025, 114 ISSN 2352-152X.

Bindu Ramanathan, A.; Ponomarev, I.; Polcar, T.: Unraveling the fracture and failure mechanisms of molybdenum disulfide with various crystalline structures, Engineering Fracture Mechanics. 2025, 316 ISSN 0013-7944.

Nyporko, A.; Chrpa, L.: Modelling and Solving Industrial Production Tasks as Planning-Scheduling Tasks, Data and Knowledge Engineering. 2025, 157 ISSN 0169-023X.

Bakircioglu, V.; Barghi Jond, H.; Yilmaz, F.: Multi-Objective optimization and thermodynamic analysis of a supercritical CO2 Brayton cycle in a solar-powered multigeneration plant for net-zero emission goals, Energy Conversion and Management. 2025, 328 ISSN 0196-8904.

Gourvès, L.; Lampis, M.; Melissinos, N.; Pagourtzis, A.: Satisfactory Budget Division, In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. County of Richland: IFAAMAS, 2025.

Bana, F.R.; Alsayed, A.; Krajník, T.; Arvin, A.: Iterative Risk Aware PRM Path Planning Algorithm for Autonomous Unknown Environments Exploration, In: Proceedings of 10th International Conference on Automation, Robotics and Applications. Vienna: IEEE Industrial Electronic Society, 2024. p. 133-138. ISBN 979-8-3503-9425-2.

Rouček, T.; Rozsypálek, Z.; Blaha, J.; Ulrich, J.; Krajník, T.: Predictive Data Acquisition for Lifelong Visual Teach, Repeat and Learn, IEEE Robotics and Automation Letters. 2024, 9(11), 10042-10049. ISSN 2377-3766.

Holešovský, O.; Škoviera, R.; Hlaváč, V.: MovingCables: Moving Cable Segmentation Method and Dataset, IEEE Robotics and Automation Letters. 2024, 9(8), 6991-6998. ISSN 2377-3766.

Cammarata, A.; Dašic, M.; Nicolini, P.: Integrating Newton’s equations of motion in the reciprocal space, Journal of Chemical Physics. 2024, 161(8), 084111-1-084111-14. ISSN 0021-9606.

Ionova, M.; Behrens, J.: CoBOS: Constraint-Based Online Scheduler for Human-Robot Collaboration, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 7131-7137. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Li, J.; Daghbouj, N.; He, X.; Chen, K.; Cao, X.; Jin, S.; Li, J.; Wei, H. et al.: Helium’s impact: Unraveling bubble formation in Fe2AlB2 under extreme conditions of temperature and fluence, Journal of Nuclear Materials. 2024, 598 ISSN 0022-3115.

Beneš, P.; Gregor, J.; Michiels, W.; Vyhlídal, T.; Šika, Z.: Collocated and non-collocated active spatial absorbers for spatial flexible structures, Mechanics Based Design of Structures and Machines. 2024, ISSN 1539-7734.

Novák, F.; Báča, T.; Saska, M.: Collaborative Object Manipulation on the Water Surface by a UAV-USV Team Using Tethers, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 3425-3432. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Rudorfer, M.; Hartvich, J.; Vonásek, V.: A Framework for Joint Grasp and Motion Planning in Confined Spaces, In: 2024 13th International Workshop on Robot Motion and Control (RoMoCo). Piscataway: IEEE, 2024. p. 96-102. ISSN 2575-5579. ISBN 979-8-3503-9397-2.

Bohuslavová, D.; Ahmed, O.; Gagie, T.; Holub, J.; Langmead, B.; Manzini, G.; Navarro, G.: Taxonomic classification with maximal exact matches in KATKA kernels and minimizer digests, In: Symposium on Experimental Algorithms. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 10:1-10:13. vol. 301. ISSN 1868-8969.

Nachimuthu, S.; Zhu, Z.; Cammarata, A.; Jiang, J.: Bismuth oxyiodide as a highly efficient room temperature NOx gas sensor: Role of surface orientations on sensing performance, Materials Today Physics. 2024, 47 ISSN 2542-5293.

Konyashin, I.; Muydinov, R.; Cammarata, A.; Bondarev, A.; Rusu, M.; Koliogiorgos, A.; Polcar, T.; Twitchen, D. et al.: Face-centered cubic carbon as a fourth basic carbon allotrope with properties of intrinsic semiconductors and ultra-wide bandgap, Communications Materials. 2024, 5(1), ISSN 2662-4443.

Santos, D.; Saska, M.; Pereira do Nascimento, T.: A Generalized Thrust Estimation and Control Approach for Multirotors Micro Aerial Vehicles, IEEE Robotics and Automation Letters. 2024, 9(10), 8889-8896. ISSN 2377-3766.

Cammarata, A.; Damte, J.; Polcar, T.: First-principles guidelines to select promising van der Waals materials for hybrid photovoltaic-triboelectric nanogenerators, Nanoscale. 2024, 16(35), 16582-16592. ISSN 2040-3364.

Dwivedi, P.; Fraile García, A.; Polcar, T.: Tungsten wall cratering under high-velocity dust impacts: Influence of impact angle and temperature, Journal of Nuclear Materials. 2024, 600(C), ISSN 0022-3115.

Wang, Z.; Zhang, L.; AlMotasem, A.T.; Li, B.; Polcar, T.; Daghbouj, N.: Exploring defect behavior in helium-irradiated single-crystal and nanocrystalline 3C-SiC at 800°C: A synergy of experimental and simulation techniques, Acta materialia. 2024, 279 ISSN 1359-6454.

Bielewski, K.; Rozlivek, J.; Hoffmann, M.; Bongard, J.: Best Practices for Differentiable Soft Robot Modeling and Optimization with the Material Point Method, In: ALIFE 2024: Proceedings of the 2024 Artificial Life Conference. Cambridge: The MIT Press, 2024. p. 87-94.

Cammarata, A.; Perviz, E.; Polcar, T.: Current perspective towards a general framework to describe and harness friction at the nanoscale, Progress in Surface Science. 2024, 99(3), ISSN 0079-6816.

Minařík, M.; Pěnička, R.; Vonásek, V.; Saska, M.: Model Predictive Path Integral Control for Agile Unmanned Aerial Vehicles, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 13144-13151. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Opler, M.: An Optimal Algorithm for Sorting Pattern-Avoiding Sequences, In: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS). USA: IEEE Computer Society, 2024. p. 689-699. ISSN 0272-5428.

Khaksar, H.; Mittal, P.; Daghbouj, N.; Cios, G.; Polcar, T.; Gnecco, E.: A comparative nanotribological investigation on amorphous and polycrystalline forms of MoS2, Applied Surface Science. 2024, 672 ISSN 0169-4332.

Karpinski, D.; Polcar, T.; Bondarev, A.: Exploring nanoscale metallic multilayer Ta/Cu films: Structure and some insights on deformation and strengthening mechanisms, Materials Characterization. 2024, 212 ISSN 1044-5803.

Rai, H.; Ponomarev, I.; Thakur, D.; Balakrishnan, V.; Polcar, T.; Gosvami, N.N.: Impact of wrinkle orientation on the nanotribological properties of chemical vapor deposited TMD monolayers using AFM, Applied Surface Science. 2024, 672 ISSN 0169-4332.

Ulrich, J.; Stefanec, M.; Rekabi-Bana, F.; Fedotoff, L.A.; Rouček, T.; Gündeğer, B.Y.; Saadat, M.; Blaha, J. et al.: Autonomous Tracking of Honey Bee Behaviors over Long-term Periods with Cooperating Robots, Science Robotics. 2024, 9(95), ISSN 2470-9476.

Wang, R.; Zhang, L.; Jiang, W.; Daghbouj, N.; Polcar, T.; Ejaz, A.; Wang, Z.; Chen, L. et al.: Ab initio study of helium behavior near stacking faults in 3C-SiC, Journal of Physics D: Applied Physics. 2024, 57(42), ISSN 0022-3727.

Derner, E.; Batistič, K.; Zahálka, J.; Babuška, R.: A Security Risk Taxonomy for Prompt-Based Interaction with Large Language Models, IEEE Access. 2024, 12 126176-126187. ISSN 2169-3536.

Šejnová, G.; Vavrečka, M.; Štěpánová, K.: Bridging Language, Vision and Action: Multimodal VAEs in Robotic Manipulation Tasks, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 12522-12528. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Kružliak, A.; Hartvich, J.; Patni, S.; Rustler, L.; Behrens, J.; Abu-Dakka, F.J.; Mikolajczyk, K.; Kyrki, V. et al.: Interactive learning of physical object properties through robot manipulation and database of object measurements, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 7596-7603. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Brown, C.; Janota, M.; Olšák, M.: Symbolic Computation for All the Fun, In: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024. Aachen: CEUR Workshop Proceedings, 2024. p. 111-121. CEUR Workshop Proceedings. vol. 3717. ISSN 1613-0073.

: Robot manipulation: an embodied and action-oriented perspective, [Invited unpublished scientific lecture] Yokohama: Bi-manual Manipulation: ON KITCHEN CHALLENGES, Tao Teng; Fei Chen; Miao Li; Silvain Calinon; Yi Guo. 2024-05-13.

Fischer, D.; Do, L.; Smith, M.; Zemánek, J.: Data-driven Feedback Control of Lattice Structures with Localized Actuation and Sensing, In: Proceedings of the 63rd IEEE Conference on Decision and Control. Piscataway: IEEE, 2024.

Petráček, P.; Alexis, K.; Saska, M.: RMS: Redundancy-Minimizing Point Cloud Sampling for Real-Time Pose Estimation, IEEE Robotics and Automation Letters. 2024, 9(6), 5230-5237. ISSN 2377-3766.

Grus, J.; Hanzálek, Z.: Matheuristic Local Search for the Placement of Analog Integrated Circuits, In: Operations Research and Enterprise Systems, ICORES 2022, ICORES 2023. Springer, Cham, 2024. p. 178-200. vol. 1985. ISSN 1865-0929. ISBN 978-3-031-49661-5.

Datsko, D.; Nekovář, F.; Pěnička, R.; Saska, M.: Energy-aware Multi-UAV Coverage Mission Planning with Optimal Speed of Flight, IEEE Robotics and Automation Letters. 2024, 9(3), 2893-2900. ISSN 2377-3766.

Mikula, J.; Kulich, M.: Optimizing Mesh to Improve the Triangular Expansion Algorithm for Computing Visibility Regions, SN Computer Science. 2024, 5(2), ISSN 2661-8907.

Wang, L.; Liao, Q.; Zhang, J.; Liu, S.; Gan, S.; Wnag, R.; Ge, F.; Chen, L. et al.: Corrosion behavior of Cr coating on ferritic/martensitic steels in liquid lead-bismuth eutectic at 600 °C and 700 °C, Journal of Materials Research and Technology. 2024, 29 3958-3966. ISSN 2238-7854.

Grus, J.; Hanen, C.; Hanzálek, Z.: Packing-Inspired Algorithms for Periodic Scheduling Problems with Harmonic Periods, In: Proceedings of the 13th International Conference on Operations Research and Enterprise Systems. Setùbal: SciTePress, 2024. p. 101-112. vol. 1. ISSN 2184-4372. ISBN 978-989-758-681-1.

Křížek, M.; Vrba, M.; Barišić Kulaš, A.; Bogdan, S.; Saska, M.: Bio-inspired visual relative localization for large swarms of UAVs, In: 2024 IEEE International Conference on Robotics and Automation (ICRA). Vienna: IEEE Industrial Electronic Society, 2024. p. 11825-11831. ISSN 1050-4729. ISBN 979-8-3503-8457-4.

Liao, M.; Cammarata, A.; Polcar, T.: Charge-induced ultralow friction between graphite and atomically flat surfaces, Carbon. 2024, 223 ISSN 0008-6223.

Dwivedi, P.; Fraile, A.; Polcar, T.: High-velocity dust impacts in plasma facing materials: Insights from molecular dynamics simulations, Journal of Nuclear Materials. 2024, 594 ISSN 0022-3115.

Grus, J.; Hanzálek, Z.: Automated placement of analog integrated circuits using priority-based constructive heuristic, Computer & Operations Research. 2024, 167 ISSN 0305-0548.

Klapálek, J.; Benedikt, O.; Sojka, M.; Hanzálek, Z.: Study of Track Segmentation for Lap Time Optimization, In: Proceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems. Setúbal: Science and Technology Publications, Lda, 2024. p. 452-455. ISSN 2184-495X. ISBN 978-989-758-703-0.

Kollarčík, A.; Hanzálek, Z.: Parameter Adjustments in POMDP-Based Trajectory Planning for Unsignalized Intersections, In: Proceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems. Setúbal: Science and Technology Publications, Lda, 2024. p. 522-529. ISSN 2184-495X. ISBN 978-989-758-703-0.

Deligkas, A.; Eiben, E.; Knop, D.; Schierreich, Š.: Individual Rationality in Topological Distance Games is Surprisingly Hard, In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2024. p. 2782-2790. ISBN 978-1-956792-04-1.

Boehmer, N.; Faliszewski, P.; Janeczko, Ł.; Peters, D.; Pierczyński, G.; Schierreich, Š.; Skowron, P.; Szufa, S.: Evaluation of Project Performance in Participatory Budgeting, In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2024. p. 2678-2686. ISBN 978-1-956792-04-1.

Korda, M.; Magron, V.; Rios-Zertuche, R.: Convergence rates for sums-of-squares hierarchies with correlative sparsity, Mathematical Programming. 2024, ISSN 0025-5610.

Horyna, J.; Krátký, V.; Pritzl, V.; Báča, T.; Ferrante, E.; Saska, M.: Fast Swarming of UAVs in GNSS-denied Feature-poor Environments without Explicit Communication, IEEE Robotics and Automation Letters. 2024, 9(6), 5284-5291. ISSN 2377-3766.

Berendsohn, B.A.; Kozma, L.; Opler, M.: Optimization with Pattern-Avoiding Input, In: STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing. New York: Association for Computing Machinery, 2024. p. 671-682. ISSN 0737-8017. ISBN 979-8-4007-0383-6.

Fioravantes, F.; Knop, D.; Křišťan, J.; Melissinos, N.; Opler, M.: Exact Algorithms and Lowerbounds for Multiagent Path Finding: Power of Treelike Topology, In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2024. p. 17380-17388. vol. 38. ISSN 2159-5399.

Do, L.; Hurák, Z.: Feedback Control in Molecular Dynamics Simulations using LAMMPS, In: Proceedings of the European Control Conference. Brussels: EUCA, 2024. p. 1065-1070. ISBN 978-3-907144-10-7.

Bonilla Licea, D.; Ghogho, M.; Saska, M.: When Robotics Meets Wireless Communications: An Introductory Tutorial, Proceedings of the IEEE. 2024, 112(2), 140-177. ISSN 0018-9219.

Bonilla Licea, D.; Silano, G.; Ghogho, M.; Saska, M.: Omnidirectional Multi-Rotor Aerial Vehicle Pose Optimization: A Novel Approach to Physical Layer Security, In: 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Vienna: IEEE Industrial Electronic Society, 2024. p. 9021-9025. 2024. ISSN 2379-190X. ISBN 979-8-3503-4485-1.

Patni, S.; Stoudek, P.; Chlup, H.; Hoffmann, M.: Online elasticity estimation and material sorting using standard robot grippers, The International Journal of Advanced Manufacturing Technology. 2024, 132(11-12), 6033-6051. ISSN 1433-3015.

Del Pia, A.; Knop, D.; Lassota, A.; Sornat, K.; Talmon, N.: Aggregation of Continuous Preferences in One Dimension, In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2024. p. 2748-2756. ISSN 1045-0823.

van den Bent, L.; Coleman, T.; Babuška, R.: Robotic Grasping of Harvested Tomato Trusses Using Vision and Online Learning, In: 2024 IEEE International Conference on Robotics and Automation (ICRA). Vienna: IEEE Industrial Electronic Society, 2024. p. 13947-13953. ISSN 1050-4729. ISBN 979-8-3503-8457-4.

Janota, M.; Chow, Ch.; Araujo, J.; Codish, M.; Vojtěchovský, P.: SAT-Based Techniques for Lexicographically Smallest Finite Models, In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2024. p. 8048-8056. vol. 38. ISSN 2159-5399.

Piepenbrock, J.; Janota, M.; Urban, J.; Jakubův, J.: First Experiments with Neural cvc5, In: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair Publications, 2024. p. 264-277. vol. 100. ISSN 2398-7340.

Woller, D.; Mansouri, M.; Kulich, M.: Making a Complete Mess and Getting Away With It: Traveling Salesperson Problems With Circle Placement Variants, IEEE Robotics and Automation Letters. 2024, 9(10), 8555-8562. ISSN 2377-3766.

Chrpa, L.; Karpas, E.: On Verifying Linear Execution Strategies in Planning Against Nature, In: Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling. Menlo Park, California: AAAI Press, 2024. p. 86-94. ISSN 2334-0843. ISBN 978-1-57735-889-3.

Med, J.; Chrpa, L.; Morak, M.; Faber, W.: Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity, In: Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling. Menlo Park, California: AAAI Press, 2024. p. 369-377. ISSN 2334-0843. ISBN 978-1-57735-889-3.

Blažej, V.; Knop, D.; Pokorný, J.; Schierreich, Š.: Equitable Connected Partition and Structural Parameters Revisited: N-fold Beats Lenstra, In: Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 29:1-29:16. Leibniz International Proceedings in Informatics (LIPIcs). vol. 306. ISBN 978-3-95977-335-5.

Zhang, G.; Daghbouj, N.; AlMotasem, A.T.; Fang, Z.; Wang, T.; Zhang, J.; Zhang, T.; Li, J. et al.: Exploring radiation damage in (Hf0.2Zr0.2Ta0.2Ti0.2Nb0.2)C high-entropy carbide ceramic: Integrating experimental and atomistic investigations, International Journal of Refractory Metals and Hard Materials. 2024, 123 ISSN 0263-4368.

Korec, E.; Jirásek, M.; Wong, H.S.; Martinez-Paneda, E.: Unravelling the interplay between steel rebar corrosion rate and corrosion-induced cracking of reinforced concrete, Cement and Concrete Research. 2024, 186 1-16. ISSN 0008-8846.

Cibulka, V.; Korda, M.; Haniš, T.: Towards optimal spatio-temporal decomposition of control-related sum-of-squares programs, International Journal of Robust and Nonlinear Control. 2024, ISSN 1049-8923.

Pivoňka, T.; Přeučil, L.: On Model-Free Re-ranking for Visual Place Recognition with Deep Learned Local Features, IEEE Transactions on Intelligent Vehicles. 2024, 1-12. ISSN 2379-8858.

Kuře, M.: Time-delay algorithms for control of nonlinear flexible systems and robust vibration suppression, Praha: Defense date 2024-09-18. PhD Thesis. CTU FME. Department of Instrumentation and Control Engineering. Supervised by T. VYHLÍDAL.

Beneš, P.; Gregor, J.; Michiels, W.; Vyhlídal, T.; Šika, Z.: Collocated and non-collocated active spatial absorbers for spatial flexible structures, Mechanics Based Design of Structures and Machines. 2024, ISSN 1539-7734.

Kratěna, T.; Vavruška, P.; Švéda, J.; Zeman, P.: Workpiece Position Optimisation in Robotic Multi-Axis Machining, Robotics and Computer-Integrated Manufacturing. 2024, ISSN 1879-2537.

Strakošová, S.; Novák, P.; Kadera, P.: Product Digital Twin Supporting End-of-life Phase of Electric Vehicle Batteries Utilizing Product-Process-Resource Asset Network, In: 2024 IEEE 22nd International Conference on Industrial Informatics (INDIN). Vienna: IEEE Industrial Electronic Society, 2024. ISSN 2378-363X. ISBN 979-8-3315-2747-1.

Strakošová, S.; Novák, P.; Kadera, P.: Product-Oriented Product-Process-Resource Asset Network and its Representation in AutomationML for Asset Administration Shell, In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). Vienna: IEEE Industrial Electronic Society, 2024. ISSN 1946-0759. ISBN 979-8-3503-6123-0.

Vlasák, J.; Klapálek, J.; Kollarčík, A.; Sojka, M.; Hanzálek, Z.: Low Fidelity Digital Twin for Automated Driving Systems: Use Cases and Automatic Generation, In: Proceedings of the 8th International Conference on Intelligent Traffic and Transportation (ICITT), incorporating the 8th International Conference on Communication and Network Technology (ICCNT), Florence, Italy, 16-18 September 2024. Nieuwe Hemweg: IOS Press, 2024. p. 318-328. Advances in Transdisciplinary Engineering. vol. 63. ISSN 2352-751X. ISBN 978-1-64368-560-1.

Chrpa, L.; Karpas, E.: On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events, In: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization, 2024. p. 273-283. ISSN 2334-1033. ISBN 978-1-956792-05-8.

Mikula, J.; Kulich, M.; Přeučil, L.: TřiVis: Versatile, Reliable, and High-Performance Tool for Computing Visibility in Polygonal Environments, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 10503-10510. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Pritzl, V.; Vrba, M.; Stasinchuk, Y.; Krátký, V.; Horyna, J.; Štěpán, P.; Saska, M.: Drones Guiding Drones: Cooperative Navigation of a Less-Equipped Micro Aerial Vehicle in Cluttered Environments, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 10597-10604. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Nogueira Nobrega, L.; Oliveira, E.; Saska, M.; Pereira do Nascimento, T.: Proximal Control of UAVs With Federated Learning for Human-Robot Collaborative Domains, IEEE Robotics and Automation Letters. 2024, 9(12), 11305-11312. ISSN 2377-3766.

Kuře, M.; Peichl, A.; Bušek, J.; Olgac, N.; Vyhlídal, T.: Non-collocated vibration absorption using delayed resonator for spectral and spacial tuning – analysis and experimental validation. (submitted draft), Automatica. 2024, ISSN 0005-1098.

Yuksel, C.; Vyhlídal, T.; Bušek, J.; Hromčík, M.; Niculescu, S.-I.: A Spectrum-based Filter Design for Periodic Control of Systems with Time Delay. (submitted draft), Journal of Sound and Vibration. 2024, ISSN 0022-460X.

Peichl, A.; Kuře, M.; Michiels, W.; Vyhlídal, T.: Integrated design of system structure and delayed resonator towards efficient non-collocated vibration absorption. (submitted draft), Journal of Sound and Vibration. 2024, ISSN 0022-460X.

Lieskovský, J.; Akahane, H.; Bušek, J.; Mizuuchi, I.; Vyhlídal, T.: Single-rod brachiation robot: Mechatronic control design and validation of pre-jump phases. (submitted draft), IEEE-ASME TRANSACTIONS ON MECHATRONICS. 2024, ISSN 1083-4435.

Michiels, W.; Vyhlídal, T.; Kraus, K.; Šika, Z.: Design and analysis of spatially symmetric multi-dimensional delayed resonators (submitted draft), IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. 2024, ISSN 1063-6536.

Petráček, P.: Robust UAV Localization in Perception-Degraded Environments, Defense date 2024-09-12. PhD Thesis. CTU FEE. Multi-robot Systems. Supervised by M. SASKA.

Jakubův, J.; Janota, M.; Urban, J.: Solving Hard Mizar Problems with Instantiation and Strategy Invention, In: Intelligent Computer Mathematics. Springer, Cham, 2024. p. 315-333. 1. vol. 14690. ISSN 0302-9743. ISBN 978-3-031-66996-5.

Hůla, J.; Mojžíšek, D.; Janota, M.: Understanding GNNs for Boolean Satisfiability through Approximation Algorithms, In: International Conference on Information and Knowledge Management. New York: Association for Computing Machinery, 2024. p. 953-961. ISSN 2155-0751. ISBN 979-8-4007-0436-9.

Orvalho, P.; Janota, M.; Manquinho, V.: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments, In: ACM/IEEE International Workshop on Automated Program Repair. New York: Association for Computing Machinery, 2024. p. 14-21. ISBN 979-8-3503-5302-0.

Yang, R.; Yang, T.; Yan, Z.; Krajník, T.; Ruichek, Y.: Preventing Catastrophic Forgetting in Continuous Online Learning for Autonomous Driving, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 5505-5512. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Jakubův, J.; Janota, M.; Piepenbrock, J.; Urban, J.: Machine Learning for Quantifier Selection in cvc5, In: ECAI 2024 - 27th European Conference on Artificial Intelligence. Oxford: IOS Press, 2024. p. 4336-4343. vol. 392. ISSN 0922-6389. ISBN 978-1-64368-548-9.

Chow, Ch.; Janota, M.; Araújo, J.: Cube-Based Isomorph-Free Finite Model Finding, In: ECAI 2024 - 27th European Conference on Artificial Intelligence. Oxford: IOS Press, 2024. p. 4100-4107. vol. 392. ISSN 0922-6389. ISBN 978-1-64368-548-9.

Shahriari, E.; Peper, K.K.; Hoffmann, M.; Haddadin, S.: Enhancing Robustness in Manipulability Assessment: The Pseudo-Ellipsoid Approach, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 1329-1336. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Saldanha, A.; Peichl, A.; Michiels, W.; Vyhlídal, T.: Delayed dynamic-feedback controller design for multi-frequency vibration suppression, In: Proceedings of 18th IFAC Workshop on Time Delay Systems TDS 2024. Laxenburg: International Federation of Automatic Control, 2024. p. 196-201. IFAC-PapersOnLine. vol. 58. ISSN 2405-8963.

Charvátová, A.; East, B.; Procházka, A.; Martynek, D.; Gonsorčíková, L.: Computational Analysis and Classification of Hernia Repairs, Applied Sciences. 2024, 14(8), ISSN 2076-3417.

Gonsorčíková, L.; Procházka, A.; Molčanová, A.; Janáková, D.; Honzírková, M.; Charvátová, H.; Šímová, L.; Vyšata, O.: Assessing Pediatric Gait Symmetry Through Accelerometry and Computational Intelligence, IEEE Access. 2024, 12 125358-125368. ISSN 2169-3536.

Procházka, A.; Martynek, D.; Vitujová, M.; Janáková, D.; Charvátová, H.; Vyšata, O.: Mobile Accelerometer Applications in Core Muscle Rehabilitation and Pre-Operative Assessment, Sensors. 2024, 24(22), ISSN 1424-8220.

Orvalho, P.; Janota, M.; Manquinho, V.: GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education, In: SIGCSE Virtual 2024: Proceedings of the 2024 on ACM Virtual Global Computing Education Conference V. 1. The ACM Digital Library, 2024. p. 165-171. ISBN 979-8-4007-0598-4.

Jirkovský, V.; Kadera, P.; Obitko, M.; Flek, O.: Towards Seamless Digitization in OPC UA, In: 21st International Conference on Informatics in Control, Automation and Robotics - Volume 1. Setúbal: Science and Technology Publications, Lda, 2024. p. 326-333. 21. vol. 1. ISSN 2184-2809. ISBN 978-989-758-717-7.

Blaha, J.; Mikula, J.; Vintr, T.; Janota, J.; Ulrich, J.; Rouček, T.; Rekabi-Bana, F.; Fedotoff, L.A. et al.: Effective Searching for the Honeybee Queen in a Living Colony, In: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE Xplore, 2024. p. 3675-3682. ISSN 2161-8089. ISBN 979-8-3503-5851-3.

Petrlík, M.: State Estimation for Field Deployment of Autonomous UAVs in Challenging Environments, Defense date 2024-12-11. PhD Thesis. CTU FEE. Multi-robot Systems. Supervised by T. KRAJNÍK and M. SASKA.

Fioravantes, F.; Melissinos, N.; Triommatis, T.: Parameterised Distance to Local Irregularity, In: 19th International Symposium on Parameterized and Exact Computation (IPEC 2024). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 18:1-18:15. ISBN 978-3-95977-353-9.

Agishev, R.; Tichý, T.; Kubelka, V.; Pecka, M.; Vacek, P.; Svoboda, T.; Zimmermann, K.: End-to-end Differentiable Model of Robot-terrain Interactions, In: ICML2024 Workshop: Differentiable Almost Everything: Differentiable Relaxations, Algorithms, Operators, and Simulators. Vienna: IEEE Industrial Electronic Society, 2024.

Augier, N.; Henrion, D.; Korda, M.; Magron, V.: Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations, ESAIM: Control, Optimisation and Calculus of Variations. 2024, 30 ISSN 1292-8119.

Agishev, R.; Zimmermann, K.; Kubelka, V.; Pecka, M.; Svoboda, T.: MonoForce: Self-supervised Learning of Physics-informed Model for Predicting Robot-terrain Interaction, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 12896-12903. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Vacek, P.; Hurych, D.; Zimmermann, K.; Svoboda, T.: Let It Flow: Simultaneous Optimization of 3D Flow and Object Clustering, IEEE Transactions on Intelligent Vehicles. 2024, 1-10. ISSN 2379-8858.

Šmejkal, M.; Jirásek, M.; Horák, M.: Integral micromorphic model reproducing dispersion in 1D continuum, International Journal of Engineering Science. 2024, 205 1-32. ISSN 1879-2197.

Pliska, M.; Vrba, M.; Báča, T.; Saska, M.: Towards Safe Mid-Air Drone Interception: Strategies for Tracking & Capture, IEEE Robotics and Automation Letters. 2024, 9(10), 8810-8817. ISSN 2377-3766.

Zoula, M.; Faigl, J.: Wireless Communication Infrastructure Building for Mobile Robot Search and Inspection Missions, In: 2024 IEEE International Conference on Robotics and Automation. IEEE Xplore, 2024. p. 5970-5976. ISSN 1050-4729. ISBN 979-8-3503-8457-4.

Werner, M.; Báča, T.; Štibinger, P.; Doubravová, D.; Šolc, J.; Rusňák, J.; Saska, M.: Autonomous localization of multiple ionizing radiation sources using miniature single-layer Compton cameras onboard a group of micro aerial vehicles, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 5710-5717. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Teissing, K.; Novosad, M.; Pěnička, R.; Saska, M.: Real-time Planning of Minimum-time Trajectories for Agile UAV Flight, IEEE Robotics and Automation Letters. 2024, 9(11), 10351-10358. ISSN 2377-3766.

Blaha, J.; Vintr, T.; Mikula, J.; Janota, J.; Rouček, T.; Ulrich, J.; Rekabi-Bana, F.; Fedotoff, L.A. et al.: Toward Perpetual Occlusion-Aware Observation of Comb States in Living Honeybee Colonies, In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). Piscataway: IEEE, 2024. p. 5948-5955. ISSN 2153-0866. ISBN 979-8-3503-7770-5.

Švadlenka, M.; Chrpa, L.: A Framework for Centralized Traffic Routing in Urban Areas, In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2024. p. 8810-8814. ISBN 978-1-956792-04-1.

Ježek, P.; Minařík, M.; Vonásek, V.; Pěnička, R.: KRRF: Kinodynamic Rapidly-exploring Random Forest algorithm for multi-goal motion planning, IEEE Robotics and Automation Letters. 2024, 9(12), 10724-10731. ISSN 2377-3766.

Sohrabi, F.; Rohani Nezhad, M.; Bemš, J.; Hanzálek, Z.: Electrification of transportation: A hybrid Benders/SDDP algorithm for optimal charging station trading, International Journal of Hydrogen Energy. 2024, 89 1060-1074. ISSN 1879-3487.

Reza Shahabi-Shahmiri, S.; Reza Tavakkoli-Moghaddam, T.; Hanzálek, Z.; Mohammad Ghasemi, G.; Seyed-Ali Mirnezami, M.; Rohani Nezhad, M.: Optimizing Perishable and Non-Perishable Product Assignment to Packaging Lines in a Sustainable Manufacturing System: An AUGMECON2VIKOR Algorithm, In: 18th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2024). Linz: Elsevier BV, 2024. p. 1282-1287. vol. 58. ISSN 2405-8963.

Hessam Bakhshi-Khaniki, B.; Reza Tavakkoli-Moghaddam, T.; Hanzálek, Z.; Behdin Vahedi-Nouri, V.: A Flexible Job Shop Scheduling Problem Involving Reconfigurable Machine Tools Under Industry 5.0, In: Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments (APMS 2024), 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part VI. Cham: Springer, 2024. p. 244-257. 1. vol. 733 IFIP. ISSN 1868-4238. ISBN 978-3-031-71644-7.

Janota, J.; Blaha, J.; Fatemeh, R.; Ulrich, J.; Stefanec, M.; Fedotoff, L.; Arvin, F.; Schmickl, T. et al.: Towards Robotic Mapping of a Honeybee Comb, In: 2024 International Conference on Manipulation, Automation and Robotics at Small Scales. Budapešť: Institute of Electrical and Electronics Engineers Inc., 2024. ISBN 979-8-3503-7680-7.

Chaudhary, A.; Pereira do Nascimento, T.; Saska, M.: Intuitive Human-Robot Interface: A 3-Dimensional Action Recognition and UAV Collaboration Framework, In: 21st International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2024. p. 26-35. 21. vol. 2. ISSN 2184-2809. ISBN 978-989-758-717-7.

Henrion, D.; Korda, M.; Kružík, M.; Rios-Zertuche, R.: OCCUPATION MEASURE RELAXATIONS IN VARIATIONAL PROBLEMS: THE ROLE OF CONVEXITY, SIAM JOURNAL ON OPTIMIZATION. 2024, 34(2), 1708-1731. ISSN 1052-6234.

Kučera, V.: Modification of Infinite and Unstable Invariant Zeros in Linear Systems Using Stability-Preserving State Feedback, IEEE Transactions on Automatic Control. 2024, 69(10), 7166-7173. ISSN 1558-2523.

Perviz, E.; Cammarata, A.; Polcar, T.: Design rules for doped transition metal dichalcogenides heterostructures, Physical Review Materials. 2024, 8(10), 106001-1-106001-13. ISSN 2475-9953.

Chen, J.; Molter, H.; Sorge, M.; Suchý, O.: Cluster Editing for Multi-Layer and Temporal Graphs, Theory of Computing Systems. 2024, 68(5), 1239-1290. ISSN 1432-4350.

Liu, C.; Daghbouj, N.; Zhang, C.; Wu, Z.; Cheng, W.; Polcar, T.; Li, B.: Influence of applied tensile/compressive stress on He-irradiated SiC: Examining defect evolution through experimental investigation and DFT simulations, Ceramics International. 2024, 50(22), 47902-47909. ISSN 0272-8842.

Pliska, M.; Patni, S.; Mareš, M.; Stoudek, P.; Straka, Z.; Štěpánová, K.; Hoffmann, M.: Single-Grasp Deformable Object Discrimination: The Effect of Gripper Morphology, Sensing Modalities, and Action Parameters, IEEE Transactions on Robotics. 2024, 40 4414-4426. ISSN 1552-3098.

Procházka, A.; Švihlík, J.; Charvátová, H.; Mařík, V.: Advanced Signal Processing Techniques for Monitoring East/West Oriented Solar Photovoltaic Systems: A Case Study, IEEE Access. 2024, 12 165042-165049. ISSN 2169-3536.

Novák, F.; Báča, T.; Procházka, O.; Saska, M.: Towards UAV-USV Collaboration in Harsh Maritime Conditions Including Large Waves, In: 21st International Conference on Informatics in Control, Automation and Robotics - Volume 1. Setúbal: Science and Technology Publications, Lda, 2024. p. 545-554. 21. vol. 1. ISSN 2184-2809. ISBN 978-989-758-717-7.

Cihlářová, M.; Pritzl, V.; Saska, M.: Cooperative Indoor Exploration Leveraging a Mixed-Size UAV Team with Heterogeneous Sensors, In: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE Xplore, 2024. p. 3850-3857. ISSN 2161-8089. ISBN 979-8-3503-5851-3.

Horla, D.; Giernacki, W.; Krátký, V.; Štibinger, P.; Báča, T.; Saska, M.: On Rapid Parallel Tuning of Controllers of a Swarm of MAVs -- Distribution Strategies of the Updated Gains, In: 2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV). New York: Institute of Electrical and Electronics Engineers, 2024. p. 1182-1188. ISSN 2474-963X. ISBN 979-8-3315-1849-3.

Rustler, L.; Mísař, M.; Hoffmann, M.: Adaptive Electronic Skin Sensitivity for Safe Human-Robot Interaction, In: 2024 IEEE-RAS 23th International Conference on Humanoid Robots (Humanoids). Piscataway: IEEE, 2024. p. 475-482. ISSN 2164-0580. ISBN 979-8-3503-7357-8.

Krátký, V.: Cooperative Sensing by a Group of Unmanned Aerial Vehicles in Environments with Obstacles, Defense date 2024-04-25. PhD Thesis. CTU FEE. Multi-robot Systems. Supervised by M. SASKA and P. ŠTĚPÁN.

Wahab, T.; Cammarata, A.; Polcar, T.: First principles study of photocatalytic activity in ZnO-Janus van der Waals heterostructures, Physical Chemistry Chemical Physics. 2024, 26(47), 29283-29297. ISSN 1463-9076.

Derner, E.; Kučera, D.; Oliver, N.; Zahálka, J.: Can ChatGPT read who you are?, Computers in Human Behavior: Artificial Humans. 2024, 2(2), ISSN 2949-8821.

Deligkas, A.; Eiben, E.; Korchemna, V.; Schierreich, Š.: The Complexity of Fair Division of Indivisible Items with Externalities, In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Menlo Park: AAAI Press, 2024. p. 9653-9661. vol. 38. ISSN 2159-5399.