Austin M. Jones
Austin M. Jones
Arbor Biotechnologies
Verified email at bu.edu
Title
Cited by
Cited by
Year
Temporal logic inference for classification and prediction from data
Z Kong, A Jones, A Medina Ayala, E Aydin Gol, C Belta
Proceedings of the 17th international conference on Hybrid systems …, 2014
842014
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
752015
Anomaly detection in cyber-physical systems: A formal methods approach
A Jones, Z Kong, C Belta
53rd IEEE Conference on Decision and Control, 848-853, 2014
672014
Q-learning for robust satisfaction of signal temporal logic specifications
D Aksaray, A Jones, Z Kong, M Schwager, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 6565-6570, 2016
53*2016
Temporal logics for learning and detection of anomalous behavior
Z Kong, A Jones, C Belta
IEEE Transactions on Automatic Control 62 (3), 1210-1222, 2016
512016
A receding horizon algorithm for informative path planning with temporal logic constraints
A Jones, M Schwager, C Belta
2013 IEEE International Conference on Robotics and Automation, 5019-5024, 2013
23*2013
Distributed information gathering policies under temporal logic constraints
K Leahy, A Jones, M Schwager, C Belta
2015 54th IEEE Conference on Decision and Control (CDC), 6803-6808, 2015
192015
First steps toward formal controller synthesis for bipedal robots with experimental implementation
AD Ames, P Tabuada, A Jones, WL Ma, M Rungger, B Schürmann, ...
Nonlinear Analysis: Hybrid Systems 25, 155-173, 2017
172017
Control in belief space with temporal logic specifications
CI Vasile, K Leahy, E Cristofalo, A Jones, M Schwager, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 7419-7424, 2016
172016
Correct-by-construction control synthesis for multi-robot mixing
Y Diaz-Mercado, A Jones, C Belta, M Egerstedt
2015 54th IEEE Conference on Decision and Control (CDC), 221-226, 2015
132015
Information-guided persistent monitoring under temporal logic constraints
A Jones, M Schwager, C Belta
2015 American Control Conference (ACC), 1911-1916, 2015
122015
Zhaodan Kong, Mac Schwager, and Calin Belta. Q-learning for robust satisfaction of signal temporal logic specifications
D Aksaray, A Jones
2016 IEEE 55th Conference on Decision and Control (CDC), 6565-6570, 0
12
A motion-based communication system
A Jones, S Andersson
2013 American Control Conference, 365-370, 2013
112013
Privacy in feedback: The differentially private lqg
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
102018
Optimal pesticide scheduling in precision agriculture
A Jones, U Ali, M Egerstedt
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
102016
Distribution temporal logic: Combining correctness with quality of estimation
A Jones, M Schwager, C Belta
52nd IEEE Conference on Decision and Control, 4719-4724, 2013
92013
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
72019
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
arXiv preprint arXiv:1807.05082, 2018
62018
Zhaodan Kong, Mac Schwager, and Calin Belta. Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
A Jones, D Aksaray
arXiv preprint arXiv:1510.06460, 2015
52015
Formal synthesis of optimal information-gathering policies
A Jones, M Schwager, C Belta
IEEE Transactions on Robotics.(Submitted), 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20