Concepedia

Austin Jones

AJ

Statistics

Publications

27

Citations

1.1K

H-Index

16

Active since

1956

Affiliations

Boston University(Current)

Georgia Institute of Technology

Massachusetts Institute of Technology

MIT Lincoln Laboratory

University of Pittsburgh

Austin Jones is an author at Boston University specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringIntelligent SystemsFormal MethodsAutomated ReasoningRoboticsPsychologySocial SciencesFormal Verification

Publications per year

1956–2023

27

Publications

27

Q-Learning for robust satisfaction of signal temporal logic specifications

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

Artificial Intelligence, Engineering, Machine Learning +17

Temporal Logics for Learning and Detection of Anomalous Behavior

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

SpaTeL

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

Engineering, Networked Dynamical Systems, Data Science +12

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

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

Temporal logic inference for classification and prediction from data

Zhaodan Kong, Austin Jones, Ana Medina Ayala et al. · 2014 · 93 citations · Full text

Artificial Intelligence, Engineering, Verification +22

1–5 of 27