Cited By
View all- Bogomolov SForets MFrehse GPodelski ASchilling C(2022)Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)Information and Computation10.1016/j.ic.2022.104937289:PAOnline publication date: 1-Nov-2022
- Beneš NBrim LDražanová JPastva SŠafránek DOzay NPrabhakar P(2019)Facetal abstraction for non-linear dynamical systems based on δ-decidable SMTProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311793(99-108)Online publication date: 16-Apr-2019
- Le Mzo TJaulin LZerr B(2018)Bracketing the solutions of an ordinary differential equation with uncertain initial conditionsApplied Mathematics and Computation10.1016/j.amc.2017.07.036318:C(70-79)Online publication date: 1-Feb-2018
- Show More Cited By