Maciej Kalisiak Michiel van de Panne Approximate Safety Enforcement using Computed Viability Envelopes. 4289-4294 2004 conf/icra/2004 ICRA http://dx.doi.org/10.1109/ROBOT.2004.1302392 db/conf/icra/icra2004-5.html#KalisiakP04