Cited By
View all- Bujorianu MCaulfield TPym DWisniewski R(2023)From MDP to POMDP and Back: Safety and Compositionality2023 European Control Conference (ECC)10.23919/ECC57647.2023.10178169(1-6)Online publication date: 13-Jun-2023
- Tamba THu B(2022)Reachability Estimates of Piecewise Deterministic Markov Processes2022 13th Asian Control Conference (ASCC)10.23919/ASCC56756.2022.9828039(2327-2331)Online publication date: 4-May-2022
- Xue BFranzle MZhan NBogomolov SXia B(2020)Safety Verification for Random Ordinary Differential EquationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2020.301313539:11(4090-4101)Online publication date: Nov-2020
- Show More Cited By