Communication dans un congrès, GALaC, Informatique

Quantifiying the robustness of dynamical systems. Relating time and space to length and precision

Manon Blanc, Olivier Bournez. Quantifiying the robustness of dynamical systems. Relating time and space to length and precision. Computer Science Logic CSL'24, Feb 2024, Naples, Italy. pp.17:1-17:20, ⟨10.4230/lipics.csl.2024.17⟩. ⟨hal-04303119⟩

Publié le