External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Yu Huang 0015

This author has not been identified. Look up 'Yu Huang 0015' in Google

Kevin Angstadt

This author has not been identified. Look up 'Kevin Angstadt' in Google

Kevin Leach

This author has not been identified. Look up 'Kevin Leach' in Google

Westley Weimer

This author has not been identified. Look up 'Westley Weimer' in Google
runs on