| SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems | 0 | 0.34 | 2022 |
| ARCH-COMP20 Category Report - Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. | 0 | 0.34 | 2020 |
| ARCH-COMP19 Category Report - Hybrid Systems with Piecewise Constant Dynamics. | 0 | 0.34 | 2019 |
| Tropical Abstractions of Max-Plus-Linear Systems. | 0 | 0.34 | 2018 |
