Nicole Chan, Sayan Mitra. Verifying safety of an autonomous spacecraft rendezvous mission. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 20-32, EasyChair, 2017. [doi]
Abstract is missing.