@techreport{bouguerra:hal-01901675, TITLE = {{Viability-Based Guaranteed Safe Robot Navigation}}, AUTHOR = {Bouguerra, Mohamed and Fraichard, Thierry and Fezari, Mohamed}, URL = {https://inria.hal.science/hal-01901675}, TYPE = {Research Report}, NUMBER = {RR-9217}, INSTITUTION = {{INRIA}}, YEAR = {2018}, MONTH = Oct, KEYWORDS = {Mobile robotics ; Autonomous Navigation ; Collision Avoidance ; Viability Theory ; Guaranteed Safety ; Robotique mobile ; Navigation autonome ; Evitement de collision ; Th{\'e}orie de la viabilit{\'e} ; S{\'e}curit{\'e} garantie}, PDF = {https://inria.hal.science/hal-01901675v2/file/RR-9217.pdf}, HAL_ID = {hal-01901675}, HAL_VERSION = {v2}, }