| 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 | 165 | 2016 |
| 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 | 126 | 2014 |
| 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 | 123 | 2015 |
| 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 | 114 | 2014 |
| 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 | 110 | 2016 |
| 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 | 35 | 2016 |
| 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 | 29 | 2017 |
| 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 | 29 | 2015 |
| 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 | 28* | 2013 |
| Privacy in feedback: The differentially private LQG M Hale, A Jones, K Leahy 2018 Annual American Control Conference (ACC), 3386-3391, 2018 | 27 | 2018 |
| 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 | 19 | 2015 |
| Information-guided persistent monitoring under temporal logic constraints A Jones, M Schwager, C Belta 2015 American Control Conference (ACC), 1911-1916, 2015 | 19 | 2015 |
| Differentially private LQ control K Yazdani, A Jones, K Leahy, M Hale IEEE Transactions on Automatic Control, 2022 | 17 | 2022 |
| Towards differential privacy for symbolic systems A Jones, K Leahy, M Hale 2019 American Control Conference (ACC), 372-377, 2019 | 16 | 2019 |
| Optimal pesticide scheduling in precision agriculture A Jones, U Ali, M Egerstedt 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016 | 14 | 2016 |
| 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 | 13 | 2019 |
| 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 | 13 | 2013 |
| A motion-based communication system A Jones, S Andersson 2013 American Control Conference, 365-370, 2013 | 13 | 2013 |
| 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 Robotics Research: The 19th International Symposium ISRR, 224-241, 2022 | 12 | 2022 |
| 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 | 7 | 2022 |
