A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars

Ian Mitchell. A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 242-258, EasyChair, 2020. [doi]

Authors

Ian Mitchell

This author has not been identified. Look up 'Ian Mitchell' in Google