Publisher
Springer International Publishing
Reference31 articles.
1. ExponentialUtilities.jl (2022). https://github.com/SciML/ExponentialUtilities.jl
2. Althoff, M.: Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars. Ph.D. thesis, Technische Universität München (2010)
3. Althoff, M.: An introduction to CORA 2015. In: ARCH. EPiC Series in Computing, vol. 34, pp. 120–151. EasyChair (2015). https://doi.org/10.29007/zbkv
4. Althoff, M.: Reachability analysis of large linear systems with uncertain inputs in the Krylov subspace. IEEE Trans. Autom. Control 65(2), 477–492 (2020). https://doi.org/10.1109/TAC.2019.2906432
5. Althoff, M., et al.: ARCH-COMP21 category report: continuous and hybrid systems with linear continuous dynamics. In: ARCH. EPiC Series in Computing, vol. 80, pp. 1–31. EasyChair (2021). https://doi.org/10.29007/lhbw
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献