Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair.

Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer

Browse the full ICSE paper archive.