Keyword:Polytopes

Publications
Implementation of Polyhedral Operations in CORA 2024 Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems