Catégorie Autre publication scientifique Auteurs Herve Gueguen https://centralesupelec.hal.science/hal-00287210v1 doc ID 287210 Nom Reachability computation for safety analysis: an approach based on linear inclusion abstraction Date de publication ven 24/03/2023 - 12:00