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.
Science of Computer Programming
