02.04.2025

Science of Computer Programming

A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis

The paper "A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis" by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer and Sibylle Schupp has been accepted for publication in Science of Computer Programming.

02.04.2025

Science of Computer Programming

A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis

The paper "A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis" by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer and Sibylle Schupp has been accepted for publication in Science of Computer Programming.