| Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations | 0 | 0.34 | 2022 |
| Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees* | 0 | 0.34 | 2022 |
| Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems | 1 | 0.35 | 2021 |
