A Formal Proof of the Termination of Zielonka's Algorithm for Solving Parity Games
8
0
0
Hele tekst
(2)
(3)
(4)
(5)
(6)
(7)
(8)
GERELATEERDE DOCUMENTEN