Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock
In: Proc. European Conference on Artificial Intelligence Workshops. European Conference on Artificial Intelligence (ECAI-2023), ECAI Workshops, Pages 338-348, Springer, 2024.
Dietmar Seipel; Marcel Waleska; Daniel Weidner; Sven Rausch; Martin Atzmueller
In: Proc. European Conference on Artificial Intelligence Workshops. European Conference on Artificial Intelligence (ECAI-2023), Pages 23-35, Springer, 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: Jianwu Wang; Sahara Ali; Yanan Xin (Hrsg.). 32nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis (STCausal-2024), 1st ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis, located at 32nd ACM SIGSPATIAL, October 29 - November 1, Atlanta, GA, USA, ISBN 979-8-4007-1154-1/24/10, Association for Computing Machinery, New York, NY, United States, 11/2024.
Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg
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.
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.