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 | 191 | 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 | 140 | 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 | 128 | 2015 |
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 | 121 | 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 | 120 | 2014 |
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 | 39 | 2016 |
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 | 33 | 2021 |
Privacy in feedback: The differentially private LQG M Hale, A Jones, K Leahy 2018 Annual American Control Conference (ACC), 3386-3391, 2018 | 32 | 2018 |
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 | 30 | 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 | 30* | 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 | 29 | 2017 |
Differentially private LQ control K Yazdani, A Jones, K Leahy, M Hale IEEE Transactions on Automatic Control 68 (2), 1061-1068, 2022 | 22 | 2022 |
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 | 20 | 2015 |
Towards differential privacy for symbolic systems A Jones, K Leahy, M Hale 2019 American Control Conference (ACC), 372-377, 2019 | 19 | 2019 |
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 | 19 | 2019 |
Information-guided persistent monitoring under temporal logic constraints A Jones, M Schwager, C Belta 2015 American Control Conference (ACC), 1911-1916, 2015 | 19 | 2015 |
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 | 18 | 2022 |
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 | 18 | 2013 |
Differential privacy for symbolic systems with application to Markov Chains B Chen, K Leahy, A Jones, M Hale Automatica 152, 110908, 2023 | 17 | 2023 |
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 | 17 | 2019 |