Online Checking of a Hybrid Laser Tracheotomy Model in UPPAAL-SMC

i Declaration I, Xintao Ma, declare that I have authored this thesis independently, that I have not used other than the declared sources / resources, and that I have explicitly marked all material which has been quoted either literally or by content from the used sources. Neither this thesis nor any other similar work has been previously submitted to any… (More)