Fnadi Mohamed; Rauh Andreas: Exponential state enclosure techniques for the implementation of validated model predictive control. In: Acta cybernetica, (26) 4. pp. 839-854. (2024)