PDF 2024-04-09T0018

Last round of corrections

PDF 2024-04-03T1358

Make title case more consistent

PDF 2024-03-22T1922

Improvements in language and form

PDF 2024-03-19T1541

Abstract in English and German

PDF 2024-03-18T1123

Game graph optimization when Q = ∅ in attacker pos.

PDF 2024-03-15T2225

Correctness (and incorrectness)

PDF 2024-03-13T1724

Define inverse updates and slight improvements in Ch.4

PDF 2024-03-04T0104

Reduce font size of code listings

PDF 2024-02-28T2052

presentation: Benchmarks

PDF 2024-02-22T2251

GPU Computing Model