research
∙
08/14/2023
Computer Aided Design and Grading for an Electronic Functional Programming Exam
Electronic exams (e-exams) have the potential to substantially reduce th...
share
research
∙
03/18/2022
Modeling R^3 Needle Steering in Uppaal
Medical cyber-physical systems are safety-critical, and as such, require...
research
∙
10/25/2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Autonomous systems are often applied in uncertain environments, which re...
research
∙
04/28/2020
Synthesizing Strategies for Needle Steering in Gelatin Phantoms
In medicine, needles are frequently used to deliver treatments to subsur...
research
∙
03/26/2019
Tool Support of Formal Methods for Privacy by Design
Formal methods are, in principle, suited for supporting the recent parad...
research
∙
01/30/2019