Niklas Kochdumper. Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen). PhD thesis, Technical University of Munich, Germany, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.