 Efficient Sensitivity Analysis for Parametric Robust Markov ChainsInternational Conference on Computer Aided Verification (CAV), 2023 |
 Taming Reachability Analysis of DNN-Controlled Systems via
Abstraction-Based TrainingInternational Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2022 |
 Abstraction-Refinement for Hierarchical Probabilistic ModelsInternational Conference on Computer Aided Verification (CAV), 2022 |
 Fine-Tuning the Odds in Bayesian NetworksEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), 2021 |