It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

Autonomous driving systems (ADS) are safety-critical systems that require thorough testing
to ensure their safety. Current testing methods for ADS primarily focus on finding crash …

We investigate a rigorous simulation and testing-based validation method for autonomous
driving systems that integrates an existing industrial simulator and a formally defined testing …

An automated driving system (ADS), as the brain of an autonomous vehicle (AV), should be
tested thoroughly ahead of deployment. ADS must satisfy a complex set of rules to ensure …

Autonomous Driving Systems (ADSs) are complex Cyber-Physical Systems (CPSs) that
must ensure safety even in uncertain conditions. Modern ADSs often employ Deep Neural …

Testing autonomous vehicles (AVs) under various environmental scenarios that lead the
vehicles to unsafe situations is challenging. Given the infinite possible environmental …

Ensuring the safety and robustness of autonomous driving systems (ADSs) is imperative.
One of the crucial methods towards this assurance is the meticulous construction and …

Flight-time failures of small Uncrewed Aerial Systems (sUAS) can have a severe impact on
people or the environment. Therefore, sUAS applications must be thoroughly evaluated and …

Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and
several other critical tasks in autonomous vehicles, motivating research into techniques for …

Automated test generation can help developers craft high-quality software tests while
mitigating the manual effort needed for writing test code. Despite significant research efforts …