Loading...
Derniers dépôts
-
Augustin Viot, Benjamin Lussier, Walter Schön, Armando Tacchella, Stéphane Geronimi. New Threat on Formal Verification for Neural Networks: Example and Fault Tolerance. 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2022), Jun 2022, Pafos, Cyprus. pp.623-630, ⟨10.1016/j.ifacol.2022.07.197⟩. ⟨hal-03823896⟩
-
Lahcene Mezouari, Lucas Wicher, Jean-Paul Boufflet, Aziz Moukrim. Scheduling in an Emergency Department, Linear Formulation and Heuristic Approach. 9th International Conference on Control, Decision and Information Technologies (CoDIT 2023), Jul 2023, Rome, France. pp.1547-1552, ⟨10.1109/CoDIT58514.2023.10284409⟩. ⟨hal-04365844⟩