Title | Citations | PageRank | Year |
---|---|---|---|
Reverse engineering with P-stable Abstractions. | 0 | 0.34 | 2021 |
ARCH-COMP19 Category Report - Hybrid Systems with Piecewise Constant Dynamics. | 0 | 0.34 | 2019 |
Revisiting Polyhedral Analysis for Hybrid Systems. | 0 | 0.34 | 2019 |
A Conversion Procedure for NNC Polyhedra. | 0 | 0.34 | 2017 |