Symbolic Time and Space Tradeoffs for Probabilistic Verification
- Chatterjee, Krishnendu
- Dvořák, Wolfgang
- Svozil, Alexander
- Henzinger, Monika
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 |
36th Annual Symposium on Logic in Computer Science (LICS 2021) |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Event Location |
Online |
Event Type |
Conference |
Event Dates |
29 June - 02 July, 2021 |
Date |
June 2021 |
Export |