Zhaodan Kong

A Survey of Motion Planning Algorithms from the Perspective of Autonomous UAV Guidance

Chad Goerzen, Zhaodan Kong, Bernard Mettler · Journal of Intelligent & Robotic Systems · 2009 · 752 citations

Engineering, Aerospace Engineering, Autonomous Systems +14

Q-Learning for robust satisfaction of signal temporal logic specifications

Derya Aksaray, Austin Jones, Zhaodan Kong et al. · 2016 · 160 citations

Engineering, Systems Engineering, Markov Decision Processes +16

Temporal Logics for Learning and Detection of Anomalous Behavior

Zhaodan Kong, Austin Jones, Călin Belta · IEEE Transactions on Automatic Control · 2016 · 126 citations

Computing, Computer Science, Systems Engineering +16

SpaTeL

Iman Haghighi, Austin Jones, Zhaodan Kong et al. · 2015 · 111 citations

Engineering, Bioengineering, Systems Engineering +16

Anomaly detection in cyber-physical systems: A formal methods approach

Austin Jones, Zhaodan Kong, Călin Belta · 2014 · 110 citations

Computing, Computer Science, Systems Engineering +17