GPU Accelerating Statistical Model Checking for Extended Timed Automata. - Oliver S. Bak; Mathias W. B. Christiansen; Oliver V. Eriksen; Sergio Feo-Arenis; Peter Gjøl Jensen; Marcus D. Jensen; Simas Juozapaitis; Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Andreas Windfeld (Principles of Verification (2), 2024)