Quantitative Systems: Efficient Reasoning Under Uncertainty

Research output: Book/ReportPh.D. thesisResearch

Original languageEnglish
Publication statusPublished - 2020
SeriesPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Bibliographical note

Dissertation not published.

Keywords

  • model checking
  • quantitative systems
  • probabilistic systems
  • computation tree logic

Cite this