Efficient Control via Reachability Synthesis for Cyber-Physical Systems

Kush Grover. Efficient Control via Reachability Synthesis for Cyber-Physical Systems. PhD thesis, Technical University of Munich, Germany, 2024. [doi]

Abstract

Abstract is missing.