Explore projects
-
Guilhem Saurel / Croco Benchs
BSD 2-Clause "Simplified" LicenseUpdated -
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Python script implementing the computation proposed in the article:
"Minimal Positively Invariant Set: Exact computation of Vertices"
Updated -
Updated
-
Updated