Accelerating Synthesis of Timed Game using Async Parallelisation and GPU

Authors

Christiansen, Mathias Wienmann Biehl ; Eriksen, Oliver Vejlgaard ; Bak, Oliver Steen

Term

4. term

Education

Publication year

2024

Submitted on

2024-06-07

Documents