| On the Effectiveness of Signal Rescaling in Hybrid System Falsification. | 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 |
| Indoor Localization Based on Centroid Constraints of AP Quadrilateral Networks. | 0 | 0.34 | 2019 |
