Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic
scenarios that rely on interactions with other vehicles. Although many languages for high …