Algorithms and Conditional Lower Bounds for Planning Problems
- Chatterjee, Krishnendu
- Dvořák, Wolfgang
- Henzinger, Monika
- Svozil, Alexander
Projects
- Efficient Algorithms for Computer Aided Verification
- ERC Advanced Grant: Challenges in Graph Algorithms with Applications
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
The 28th International Conference on Automated Planning and Scheduling |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Delft, The Netherlands |
Event Type |
Conference |
Event Dates |
27-29 June 2018 |
Date |
June 2018 |
Export |