Osama Maqbool, Jürgen Roßmann. Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations. In 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.