Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator.

Bernd Gamann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl

Browse the full SAFECOMP paper archive.