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
992014
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
902015
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
86*2016
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
852014
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
712016
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
252016
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
252015
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
25*2013
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
232017
Privacy in feedback: The differentially private lqg
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
162018
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
142015
Information-guided persistent monitoring under temporal logic constraints
A Jones, M Schwager, C Belta
2015 American Control Conference (ACC), 1911-1916, 2015
142015
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
13
A motion-based communication system
A Jones, S Andersson
2013 American Control Conference, 365-370, 2013
122013
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
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
92019
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
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
arXiv preprint arXiv:1807.05082, 2018
82018
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
Control in belief space with temporal logic specifications using vision-based localization
K Leahy, E Cristofalo, CI Vasile, A Jones, E Montijano, M Schwager, ...
The International Journal of Robotics Research 38 (6), 702-722, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20