Yu Huang 0015, Kevin Angstadt, Kevin Leach, Westley Weimer. Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. In ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020. pages 3-10, ACM, 2020. [doi]
Abstract is missing.