Author:
Philipp Robin,Qian Hedan,Hartjen Lukas,Schuldt Fabian,Howar Falk
Publisher
Springer International Publishing
Reference36 articles.
1. SJ3016: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (2018)
2. Bohrer, B., Tan, Y.K., Mitsch, S., Sogokon, A., Platzer, A.: A formal safety net for waypoint-following in ground robots. IEEE RA-L 4(3), 2910–2917 (2019)
3. Brahmi, M., Siedersberger, K.H., Siegel, A., Maurer, M.: Reference systems for environmental perception: requirements, validation and metric-based evaluation. In: 6. Tagung Fahrerassistenzsysteme (2013)
4. Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., Kahsai, T.: Verifying the safety of a flight-critical system. In: FM: Formal Methods (2015)
5. Bussler, A., Hartjen, L., Philipp, R., Schuldt, F.: Application of evolutionary algorithms and criticality metrics for the verification and validation of automated driving systems at urban intersections. In: IEEE IV Symposium (2020)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrating scenario- and contract-based verification for automated vessels;Journal of Marine Science and Technology;2024-06-27
2. A Runtime-Efficient Multi-Object Tracking Approach for Automotive Perception Systems;2023 IEEE 17th International Symposium on Applied Computational Intelligence and Informatics (SACI);2023-05-23
3. Conservative Estimation of Perception Relevance of Dynamic Objects for Safe Trajectories in Automotive Scenarios;2023 IEEE International Conference on Mobility, Operations, Services and Technologies (MOST);2023-05
4. Formal Methods for a Digital Industry;Lecture Notes in Computer Science;2021