Kallwies, Hannes2024-12-022024-12-022024https://epub.uni-luebeck.de/handle/zhb_hl/3185en004Synchronous stream runtime verification with uncertainties and assumptionsthesis.doctoralurn:nbn:de:gbv:841-2024112938