In: Proc. European Conference on Artificial Intelligence Workshops. European Conference on Artificial Intelligence (ECAI-2023), Pages 23-35, Springer, 2024.
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: 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.
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.