Symbolic Time and Space Tradeoffs for Probabilistic Verification

Symbolic Time and Space Tradeoffs for Probabilistic Verification

Authors
  • Chatterjee, Krishnendu
  • Dvořák, Wolfgang
  • Svozil, Alexander
  • Henzinger, Monika
Grafik Top
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
Grafik Top