Follow
Austin M. Jones
Austin M. Jones
Arbor Biotechnologies
Verified email at bu.edu
Title
Cited by
Cited by
Year
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
1832016
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
1372014
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
1292015
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
1212016
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
1202014
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
372016
Privacy in feedback: The differentially private LQG
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
312018
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
31*2013
Scalable and robust algorithms for task-based coordination from high-level specifications (scratches)
K Leahy, Z Serlin, CI Vasile, A Schoer, AM Jones, R Tron, C Belta
IEEE Transactions on Robotics 38 (4), 2516-2535, 2021
292021
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
292017
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
292015
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
192019
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
192015
Information-guided persistent monitoring under temporal logic constraints
A Jones, M Schwager, C Belta
2015 American Control Conference (ACC), 1911-1916, 2015
192015
Optimal pesticide scheduling in precision agriculture
A Jones, U Ali, M Egerstedt
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
172016
ScRATCHS: Scalable and robust algorithms for task-based coordination from high-level specifications
AM Jones, K Leahy, C Vasile, S Sadraddini, Z Serlin, R Tron, C Belta
The International Symposium of Robotics Research, 224-241, 2019
162019
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
162019
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
162013
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
IEEE Transactions on Automatic Control 68 (2), 1061-1068, 2022
142022
Fast decomposition of temporal logic specifications for heterogeneous teams
K Leahy, A Jones, CI Vasile
IEEE Robotics and Automation Letters 7 (2), 2297-2304, 2022
142022
The system can't perform the operation now. Try again later.
Articles 1–20