Faster Algorithms for Mean-Payoff Parity Games
- Chatterjee, Krishnendu
- Henzinger, Monika
- Svozil, Alexander
Projects
- ERC Advanced Grant: Challenges in Graph Algorithms with Applications
- Efficient Algorithms for Computer Aided Verification
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS) 2017 |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Aalborg, Denmark |
Event Type |
Conference |
Event Dates |
21-25 August 2017 |
Date |
2017 |
Export |