In: 75th International Astronautical Congress. International Astronautical Congress (IAC-2024), October 14-18, Milan, Italy, International Astronautical Federation (IAF), 2024.
In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2024), May 12-15, St. Louis, MO, USA, Pages 1-8, IEEE, 2024.
Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah
In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.
In: IEEE International Symposium on Safety, Security, and Rescue Robotics. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR-2024), November 12-14, New York City, NY, USA, ISBN 979-8-3315-1095-4, IEEE, 11/2024.
In: IEEE International Symposium on Safety, Security, and Rescue Robotics. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR-2024), November 12-14, New York City, NY, USA, ISBN 979-8-3315-1095-4, IEEE, 11/2024.
In: IEEE (Hrsg.). Digital Image Computing: Techniques and Applications. International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), 25th, November 27-29, Perth, WA, Australia, IEEE, 2025.
In: IEEE (Hrsg.). Digital Image Computing: Techniques and Applications. International Conference on Digital Image Computing Techniques and Applications (DICTA), 25th, November 27-29, Perth, WA, Australia, IEEE, 2025.
In: Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2024). International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI-2024), November 27-30, Ulster University, Belfast, United Kingdom, Springer, 2024.