Sbft tool competition 2024-cyber-physical systems track

M Biagiola, S Klikovits - Proceedings of the 17th ACM/IEEE International …, 2024 - dl.acm.org
This report summarizes the results of the fourth edition of the 2024 Cyber-Physical Systems
tool competition, held as part of the SBFT'24 workshop. Three tools (AmbieGenVAE, CRAG …

OpenCat: Improving Interoperability of ADS Testing

Q Ali, A Stoccco, L Mariani, O Riganelli - ar** functions,
requires creating road topologies or using predefined benchmarks. However, the test cases …

Ambiegen: A search-based framework for autonomous systems testing

D Humeniuk, F Khomh, G Antoniol - Science of Computer Programming, 2023 - Elsevier
Thorough testing of safety-critical autonomous systems, such as self-driving cars,
autonomous robots, and drones, is essential for detecting potential failures before …

[HTML][HTML] Double Counterfactual Regret Minimization for Generating Safety-Critical Scenario of Autonomous Driving

Y Wang, P Sun, L Shuai, D Zhang - Electronics, 2024 - mdpi.com
Develo** a high-quality scenario library is crucial for evaluating more reliable
autonomous driving systems. A fundamental prerequisite for constructing such a library is …

自动驾驶安全关键场景生成技术综述.

王淳浩, 闭家铭, 阮利, 魏彤羽, 任宇翔… - Information & …, 2024 - search.ebscohost.com
摘要安全关键场景生成是自动驾驶的重要方向, 在自动驾驶测试, 汽车安全性评估和汽车安全
标准构建等领域都有着很高的应用价值, 是关系自动驾驶应用落地的关键 …