Author:
Rizaldi Albert,Immler Fabian,Schürmann Bastian,Althoff Matthias
Publisher
Springer International Publishing
Reference37 articles.
1. Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)
2. Althoff, M., Grebenyuk, D.: Implementation of interval arithmetic in CORA 2016. In: Proceedings of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 91–105 (2016)
3. Althoff, M., Koschi, M., Manzinger, S.: CommonRoad: composable benchmarks for motion planning on roads. In: Proceedings of the IEEE Intelligent Vehicles Symposium, pp. 719–726 (2017)
4. Anand, A., Knepper, R.A.: ROSCoq: robots powered by constructive reals. In: Proceedings of the 6th International Conference on Interactive Theorem Proving, pp. 34–50 (2015)
5. Belta, C., Bicchi, A., Egerstedt, M., Frazzoli, E., Klavins, E., Pappas, G.J.: Symbolic planning and control of robot motion [grand challenges of robotics]. IEEE Robot. Autom. Mag. 14(1), 61–70 (2007)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Obstacle Avoidance with Guarantees for Small Fixed-Wing Aircraft;2024 IEEE Conference on Control Technology and Applications (CCTA);2024-08-21
2. Partial Stabilization of Nonlinear Systems along a Given Trajectory;2024 European Control Conference (ECC);2024-06-25
3. Safe Smooth Paths Between Straight Line Obstacles;Lecture Notes in Computer Science;2024
4. Correct by design coordination of autonomous driving systems;International Journal on Software Tools for Technology Transfer;2023-11-02
5. Formal Verification of Intersection Safety for Automated Driving;2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC);2023-09-24