https://hgpu.org/?p=7024
Designing Fast LTL Model Checking Algorithms for Many-Core GPUs