@conference{mars2020, Author = {A. Rogalla and S. Lehmann and M. Neidhardt and J. Sprenger and M. Bengs and A. Schlaefer and S. Schupp}, Title = {Synthesizing Strategies for Needle Steering in Gelatin Phantoms}, Journal = {MARS 2020}, Year = {2020}, Pages = {accepted}, Booktitle = {Models for Formal Analysis of Real Systems (MARS 2020)} } @COMMENT{Bibtex file generated on 2020-10-2 with typo3 si_bibtex plugin. Data from /mtec/publications/2020.html }