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.
Harihara Bharathy Swaminathan; Aron Sommer; Andreas Becker; Martin Atzmueller
In: Proc. IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE Intelligent Transportation Systems Conference (IEEE ITSC-2023), Pages 4066-4071, IEEE, 2023.
In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC-2024), September 2-5, Valencia, Spain, IEEE, 2024.
In: 2024 IEEE 6th International Conference on Cybernetics, Cognition and Machine Learning Applications (ICCCMLA). International Conference on Cybernetics, Cognition and Machine Learning Applications (ICCCMLA-2024), October 19-20, Hamburg, Germany, IEEE, 11/2024.
Viacheslav Barkov; Jonas Schmidinger; Robin Gebbers; Martin Atzmueller
In: Proc. International Conference on Machine Learning and Applications. International Conference on Machine Learning and Applications (ICMLA-2024), Pages 1-8, IEEE, 2024.
In: Proc. International Conference on Machine Learning and Applications. International Conference on Machine Learning and Applications (ICMLA-2024), Pages 1-6, IEEE, 2024.
In: Proceedings of the 1st ECAI Workshop on "Machine Learning Meets Differential Equations: From Theory to Applications". Workshop on Machine Learning Meets Differential Equations (ML-DE-2024), located at ECAI 2024, September 20, Santiago de Compostela, Spain, Pages 1-16, Proceedings of Machine Learning Research (PMLR), Vol. 255, PMLR, 2024.
J. Schmidinger; V. Barkov; H. Tavakoli; J. Correa; M. Ostermann; Martin Atzmueller; R. Gebbers; S. Vogel