| 2025-06 |
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification |
article |
說明頁(275) |
| 2025-03 |
Concolic Testing on Individual Fairness of Neural Network Models |
article |
說明頁(399) |
| 2024-07 |
Concolic Testing on Individual Fairness of Neural Network Models |
conference |
pdf(321) |
| 2024-01 |
Regular Abstractions for Array Systems |
article |
說明頁(375) |
| 2024-01 |
Regular Abstractions for Array Systems |
conference |
說明頁(407) |
| 2020-11 |
Parameterized Synthesis with Safety Properties |
conference |
說明頁(375) |
| 2019-07 |
Monadic Decomposability of Regular Relations |
conference |
說明頁(355) |
| 2019-07 |
Probabilistic Bisimulation for Parameterized Systems |
conference |
說明頁(438) |
| 2019-06 |
CSS Minification via Constraint Solving |
article |
說明頁(434) |
| 2017-10 |
Learning to prove safety over parameterised concurrent systems |
conference |
說明頁(446) |
