| 2024-07 |
Concolic Testing on Individual Fairness of Neural Network Models |
conference |
pdf(321) |
| 2024-01 |
Regular Abstractions for Array Systems |
conference |
web page(410) |
| 2020-11 |
Parameterized Synthesis with Safety Properties |
conference |
web page(377) |
| 2019-07 |
Monadic Decomposability of Regular Relations |
conference |
web page(358) |
| 2019-07 |
Probabilistic Bisimulation for Parameterized Systems |
conference |
web page(439) |
| 2017-10 |
Learning to prove safety over parameterised concurrent systems |
conference |
web page(446) |
