Parallel parity games: a multicore attractor for the zielonka recursive algorithm

R Arcucci, U Marotta, A Murano, L Sorrentino - Procedia Computer Science, 2017 - Elsevier
Parity games are abstract infinite-duration two-player games, widely studied in computer
science. Several solution algorithms have been proposed and also implemented in the …

[引用][C] Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm

R Arcucci, U Marotta, A Murano… - PROCEDIA COMPUTER …, 2017 - iris.unina.it
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm IRIS IRIS Home
Sfoglia Macrotipologie & tipologie Autore Titolo Riviste Serie IT Italiano Italiano English English …

[PDF][PDF] Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm

R Arcucci, U Marotta, A Murano, L Sorrentino - people.na.infn.it
Parity games are abstract infinite-duration two-player games, widely studied in computer
science. Several solution algorithms have been proposed and also implemented in the …

[PDF][PDF] Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm

R Arcucci, U Marotta, A Murano, L Sorrentino - researchgate.net
Parity games are abstract infinite-duration two-player games, widely studied in computer
science. Several solution algorithms have been proposed and also implemented in the …

[PDF][PDF] Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm

R Arcucci, U Marotta, A Murano… - Procedia Computer …, 2017 - openaccessrepository.it
Parity games are abstract infinite-duration two-player games, widely studied in computer
science. Several solution algorithms have been proposed and also implemented in the …

[PDF][PDF] Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm

R Arcucci, U Marotta, A Murano, L Sorrentino - academia.edu
Parity games are abstract infinite-duration two-player games, widely studied in computer
science. Several solution algorithms have been proposed and also implemented in the …