Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations.

Osama Maqbool, Jrgen Romann

Browse the full VTC paper archive.