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
1422016
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
1212015
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
1202014
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
1022016
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
1022014
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
332016
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
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
29*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
272017
Privacy in feedback: The differentially private lqg
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
252018
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
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
IEEE Transactions on Automatic Control, 2022
142022
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
132019
Optimal pesticide scheduling in precision agriculture
A Jones, U Ali, M Egerstedt
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
132016
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
132013
A motion-based communication system
A Jones, S Andersson
2013 American Control Conference, 365-370, 2013
132013
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
122019
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
82019
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
62022
The system can't perform the operation now. Try again later.
Articles 1–20