@inproceedings{monnet:hal-01371484, TITLE = {{Viability kernel computation based on interval methods}}, AUTHOR = {Monnet, Dominique and Jaulin, Luc and Ninin, Jordan and Chapoutot, Alexandre and Alexandre Dit Sandretto, Julien}, URL = {https://hal.science/hal-01371484}, BOOKTITLE = {{Small Workshop on Interval Methods}}, ADDRESS = {Prague, Czech Republic}, YEAR = {2015}, MONTH = Jun, HAL_ID = {hal-01371484}, HAL_VERSION = {v1}, }