@article{desrochers:hal-01298366, TITLE = {{Computing a Guaranteed Approximation of the Zone Explored by a Robot}}, AUTHOR = {Desrochers, Beno{\^i}t and Jaulin, Luc}, URL = {https://hal.science/hal-01298366}, JOURNAL = {{IEEE Transactions on Automatic Control}}, PUBLISHER = {{Institute of Electrical and Electronics Engineers}}, VOLUME = {62}, NUMBER = {1}, PAGES = {425 - 430}, YEAR = {2017}, MONTH = Jan, DOI = {10.1109/TAC.2016.2530719}, KEYWORDS = {Probabilistic logic ; Robot sensing systems ; Service robots ; Trajectory ; Uncertainty}, PDF = {https://hal.science/hal-01298366/file/paper_sweep.pdf}, HAL_ID = {hal-01298366}, HAL_VERSION = {v1}, }