Pouria Tajvar, Fernando S. Barbosa, Jana Tumova. Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. In 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, August 20-21, 2020. pages 349-354, IEEE, 2020. [doi]
Abstract is missing.