TY  - RPRT
TI  - Modeling R$^3$ Needle Steering in Uppaal
AU  - Sascha Lehmann
AU  - Antje Rogalla
AU  - Maximilian Neidhardt
AU  - Anton Reinecke
AU  - Alexander Schlaefer
AU  - Sibylle Schupp
PY  - 2022
DO  - 10.4204/eptcs.355.4
UR  - https://arxiv.org/abs/2203.09884
ID  - 2203.09884
ER  -