Fingerprint
Dive into the research topics of 'GPU Accelerating Statistical Model Checking for Extended Timed Automata'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
GPU Accelerating Statistical Model Checking for Extended Timed Automata
Oliver S. Bak, Mathias W.B. Christiansen, Oliver V. Eriksen, Sergio Feo-Arenis, Peter G. Jensen, Marcus D. Jensen, Simas Juozapaitis, Kim G. Larsen, Marius Mikučionis*, Marco Muñiz, Andreas Windfeld
*Corresponding author for this work
Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
1
Citation
(Scopus)