| Date | Title | Type | Full Text |
|---|---|---|---|
| 2024-07 | Concolic Testing on Individual Fairness of Neural Network Models | conference | pdf(178) |
| 2024-01 | Regular Abstractions for Array Systems | conference | web page(301) |
| 2020-11 | Parameterized Synthesis with Safety Properties | conference | web page(264) |
| 2019-07 | Monadic Decomposability of Regular Relations | conference | web page(245) |
| 2019-07 | Probabilistic Bisimulation for Parameterized Systems | conference | web page(334) |
| 2017-10 | Learning to prove safety over parameterised concurrent systems | conference | web page(313) |
- 1