Quantitative Systems: Efficient Reasoning Under Uncertainty

Anders Mariegaard

Publikation: Ph.d.-afhandling

Originalsprog	Engelsk
Vejledere	Larsen, Kim Guldstrand, Hovedvejleder
Status	Udgivet - 2020

Afhandling ikke publiceret.

AUB Link

@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",

}