Risk Verification of Stochastic Systems with Neural Network ControllersArtificial Intelligence (AIJ), 2022 |
Probable Domain Generalization via Quantile Risk MinimizationNeural Information Processing Systems (NeurIPS), 2022 |
Robust Motion Planning in the Presence of Estimation UncertaintyIEEE Conference on Decision and Control (CDC), 2021 |