
Title |
|---|
![]() Counterfactual Strategies for Markov Decision ProcessesInternational Joint Conference on Artificial Intelligence (IJCAI), 2025 |
![]() Efficient Sensitivity Analysis for Parametric Robust Markov ChainsInternational Conference on Computer Aided Verification (CAV), 2023 |
![]() Interval Markov Decision Processes with Continuous Action-SpacesInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2022 |