| ARCH-COMP21 Category Report - Continuous and Hybrid Systems with Linear Continuous Dynamics. | 0 | 0.34 | 2021 |
| ARCH-COMP 2021 Category Report - Falsification with Validation of Results. | 1 | 0.36 | 2021 |
| ARCH-COMP 2020 Category Report - Falsification. | 2 | 0.38 | 2020 |
| Flexible Mining of Prefix Sequences from Time-Series Traces. | 0 | 0.34 | 2019 |
| Counterexample-Guided Refinement of Template Polyhedra. | 0 | 0.34 | 2017 |
| Running SpaceEx on the ARCH14 Benchmarks. | 2 | 0.38 | 2015 |
