Stefan B. Liu, Bastian Schürmann, Matthias Althoff. Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. IEEE Transactions on Robotics, 39(5):3776-3790, October 2023. [doi]
Abstract is missing.