MDPFuzz: Testing Models Solving Markov Decision ProcessesInternational Symposium on Software Testing and Analysis (ISSTA), 2021 |
Formal Verification of Robustness and Resilience of Learning-Enabled
State Estimation SystemsNeurocomputing (Neurocomputing), 2020 |