… scenario-based testing of the safety of autonomous vehicles, … in the use of formal methods
for specifying scenarios and … Our use of a scenario specification language, SCENIC [2], is …

… There is a statistically significant relationship between age and willingness to use the
Shared AV scenario. High proportions of younger (16–20 years old) and older (70+ years old) …

Given many known and unknown uncertainties, it is hard to forecast reliably the mode choices,
expected to prevail with autonomous vehicle (AV) technology; however, the key to getting …

… [153] use the theorem prover Isabelle to verify the safety of a collision-avoidance safety
function for autonomous vehicles. Nilsson et al. [154] describe the worst-case performance as an …

… scenarios for tested vehicles. In this paper, we propose an adaptive evaluation framework to
efficiently evaluate autonomous vehicles … of dangerous scenarios, we use ensemble models …

… vehicle sharing market in general, while this research is focused on shared autonomous
vehicles … Scenario 7 (100/100) where all travellers made use of SAVs showed the highest levels …

… This study investigates the AV user and non-users’ willingness to use the Shared Autonomous
Vehicle service using a survey instrument developed to take input from RAPID pilot SAV …

… of autonomous vehicles already employed in transportation. It exemplifies the segments of
transportation which already use autonomous vehicles. … to react in all scenarios in driverless …

… -based land-use change models … autonomous vehicles are complex, and we need to consider
the interaction between humans, vehicles, the road network, and the environment scenario…

… an autonomous vehicle or using shared (autonomous) cars. … or buy an AV rather than to
use shared cars, and shared AVs … to use autonomous vehicles but cannot afford them can use …