In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.
Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz
In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.
In: 2024 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), 33nd IEEE International Conference on Robot and Human Interactive Communication, August 26-30, Pasadena, CA, USA, IEEE, 2024.
In: International Conference on Neural Information Processing (ICONIP). International Conference on Neural Information Processing (ICONIP-2024), December 2-6, IEEE, nstitute of Electrical and Electronics Engineers (IEEE), 2024.
Annalies Baumeister; Felix Goldau; Max Pascher; Jens Gerken; Udo Frese; Patrizia Tolle
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.