Autor/in Schupp, Sibylle Lehmann, Sascha 1 Lübke, Ole 1 Neidhardt, Maximilian 1 Rogalla, Antje 1 Schlaefer, Alexander 1 alle zeigenListe einklappen
Online strategy synthesis for safe and optimized control of steerable needles Lehmann, Sascha Rogalla, Antje Neidhardt, Maximilian Schlaefer, Alexander Schupp, Sibylle 2021 - TUHH Open Research - frei zugänglich
WCET-aware reachability for verified simplex design: work-in-progress Lübke, Ole Schupp, Sibylle 2021 - TUHH Open Research