Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. - Luo, Baiting; Ramakrishna, Shreyas; Pettet, Ava; Kuhn, Christopher B.; Karsai, Gabor; Mukhopadhyay, Ayan (2023)