Improved Set-Based Symbolic Algorithms for Parity Games
- Chatterjee, Krishnendu
- Dvořák, Wolfgang
- Henzinger, Monika
- Loitzenbauer, Veronika
Top
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Stockholm |
Event Type |
Conference |
Event Dates |
20-24 August 2017 |
Page Range |
18:1-18:21 |
Date |
2017 |
Official URL |
https://doi.org/10.4230/LIPIcs.CSL.2017.18 |
Export |
Top
