| Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning | 0 | 0.34 | 2022 |
| Learning Density Distribution of Reachable States for Autonomous Systems. | 0 | 0.34 | 2021 |
| Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | 0 | 0.34 | 2018 |
