Improved Algorithms for One-Pair and k-Pair Streett Objectives
- Chatterjee, Krishnendu
- Henzinger, Monika
- Loitzenbauer, Veronika
Top
Projects
- Modern Graph Algorithmic Techniques in Formal Verification
- ERC Advanced Grant: Challenges in Graph Algorithms with Applications
- Challenges in Sponsored Search Auctions
Top
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Full Paper in Proceedings) |
Event Title |
Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Kyoto, Japan |
Event Type |
Conference |
Event Dates |
July 6–10, 2015 |
Series Name |
30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015 |
ISSN/ISBN |
978-1-4799-8875-4 |
Page Range |
pp. 269-280 |
Date |
July 2015 |
Export |
Top
