Created in September 04, 2022
2022
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles preprint available.