Austin Jones

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

Temporal logic inference for classification and prediction from data

Zhaodan Kong, Austin Jones, Ana Medina Ayala et al. · 2014 · 94 citations

Computing, Computer Science, Systems Engineering +11