@inproceedings{10.1007/978-3-319-96142-2_14,
    Abstract = {Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also interesting from the theory perspective, because they are widely believed to admit a polynomial solution, but so far no such algorithm is known.},
    Address = {Cham},
    Author = {van Dijk, Tom},
    BookTitle = {Computer Aided Verification},
    Editor = {Chockler, Hana and Weissenbacher, Georg},
    File = {Attracting Tangles to Solve Parity Games - Dijk2018\_Chapter\_AttractingTanglesToSolveParity (0) - a - a - w.pdf},
    ISBN = {978-3-319-96142-2},
    Pages = {198--215},
    Publisher = {Springer International Publishing},
    Title = {Attracting Tangles to Solve Parity Games},
    Year = {2018},
    date-added = {2019-09-20 15:42:28 +0200},
    date-modified = {2019-09-20 15:42:28 +0200},
    doi = {10.1007/978-3-319-96142-2_14}
}

@inproceedings{10.1007/978-3-319-96142-2_14, Abstract = {Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also interesting from the theory perspective, because they are widely believed to admit a polynomial solution, but so far no such algorithm is known.}, Address = {Cham}, Author = {van Dijk, Tom}, BookTitle = {Computer Aided Verification}, Editor = {Chockler, Hana and Weissenbacher, Georg}, File = {Attracting Tangles to Solve Parity Games - Dijk2018_Chapter_AttractingTanglesToSolveParity (0) - a - a - w.pdf}, ISBN = {978-3-319-96142-2}, Pages = {198--215}, Publisher = {Springer International Publishing}, Title = {Attracting Tangles to Solve Parity Games}, Year = {2018}, date-added = {2019-09-20 15:42:28 +0200}, date-modified = {2019-09-20 15:42:28 +0200}, doi = {10.1007/978-3-319-96142-2_14} }