Quantitative Systems: Efficient Reasoning Under Uncertainty

Anders Mariegaard

Research output: PhD thesis

Original language	English
Supervisors	Larsen, Kim Guldstrand, Principal supervisor
Publication status	Published - 2020

Dissertation not published.

Keywords

@misc{898e6f54b7804fe3b3b22838d325632a,

title = "Quantitative Systems: Efficient Reasoning Under Uncertainty",

keywords = "model checking, quantitative systems, probabilistic systems, computation tree logic",

author = "Anders Mariegaard",

note = "Dissertation not published.",

year = "2020",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}