Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices-Reference-Cited by-同舟云学术

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Published:2018-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
language:
Short-container-title:

Author:

Bogomolov Sergiy¹,Forets Marcelo²,Frehse Goran²,Viry Frédéric²,Podelski Andreas³,Schilling Christian³

Affiliation:

1. Australian National University, Canberra, Australia

2. Univ. Grenoble Alpes, VERIMAG, Grenoble, France

3. University of Freiburg, Freiburg, Germany

Publisher

ACM

Link

Reference48 articles.

1. 2017. Expokit. https://github.com/acroy/Expokit.jl. (2017). 2017. Expokit. https://github.com/acroy/Expokit.jl. (2017).

2. 2017. JuliaReach. https://github.com/JuliaReach. (2017). 2017. JuliaReach. https://github.com/JuliaReach. (2017).

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis;2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC);2023-09-24

4. CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles;2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC);2022-10-08