Sascha Lehmann of STS presents the paper
"Modeling R³ Needle Steering in Uppaal" by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer and Sibylle Schupp
on Saturday, 2 April at the MARS 2022 workshop (http://mars-workshop.org/mars2022/) in Munich.
MARS2022 - Presentation
