TY - RPRT TI - Quantitative Implementation Strategies for Safety Controllers AU - Philipp J. Meyer AU - Matthias Rungger AU - Michael Luttenberger AU - Javier Esparza AU - Majid Zamani PY - 2017 UR - https://arxiv.org/abs/1712.05278 ID - 1712.05278 ER -