Simulation-Driven Reachability Using Matrix Measures
Controller synthesis for linear dynamical systems with adversaries
ACM Transactions on Embedded Computing Systems
Proceedings of the Symposium and Bootcamp on the Science of Security - HotSos ’16
Xiaoqing Jin
Geir Dullerud
James Kapinski
Zhenqi Huang
Chuchu Fan
Yu Wang