Communication Dans Un Congrès Année : 2020

Computing over convex polyhedra using VPL

Monniaux_SNR_2020.pdf (536.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04750244 , version 1 (28-10-2024)

Identifiants

  • HAL Id : hal-04750244 , version 1

Citer

David Monniaux. Computing over convex polyhedra using VPL. 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR), Aug 2020, Vienna (virtual), Austria. ⟨hal-04750244⟩
70 Consultations
26 Téléchargements

Partager

  • More