Grover, Kush
Efficient Control via Reachability Synthesis for Cyber-Physical Systems
2024
Dissertation
111 p.