I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Solving Parity Games on the GPU

Reference:

Philipp Hoffmann and Michael Luttenberger. Solving parity games on the GPU. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pages 455–459, 2013.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaHoffmannL13,
    author = {Philipp Hoffmann and Michael Luttenberger},
    booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
    pages = {455--459},
    title = {Solving Parity Games on the {GPU}},
    year = {2013}
}

This work is not available online here.