| A fully automated framework for control of linear systems from temporal logic specifications M Kloetzer, C Belta IEEE Transactions on Automatic Control 53 (1), 287-297, 2008 | 621 | 2008 |
| Symbolic planning and control of robot motion [grand challenges of robotics] C Belta, A Bicchi, M Egerstedt, E Frazzoli, E Klavins, GJ Pappas IEEE Robotics & Automation Magazine 14 (1), 61-70, 2007 | 478 | 2007 |
| Formal methods for discrete-time dynamical systems C Belta, B Yordanov, EA Gol Springer 89, 01, 2017 | 454 | 2017 |
| Abstraction and control for groups of robots C Belta, V Kumar IEEE Transactions on robotics 20 (5), 865-875, 2004 | 433 | 2004 |
| Discrete abstractions for robot motion planning and control in polygonal environments C Belta, V Isler, GJ Pappas IEEE Transactions on Robotics 21 (5), 864-874, 2005 | 311 | 2005 |
| Hybrid modeling and simulation of biomolecular networks R Alur, C Belta, F Ivančić, V Kumar, M Mintz, GJ Pappas, H Rubin, ... International workshop on hybrid systems: Computation and control, 19-32, 2001 | 275 | 2001 |
| Controlling a class of nonlinear systems on rectangles C Belta, LC Habets IEEE Transactions on Automatic Control 51 (11), 1749-1759, 2006 | 261 | 2006 |
| Control barrier functions for systems with high relative degree W Xiao, C Belta 2019 IEEE 58th conference on decision and control (CDC), 474-479, 2019 | 260 | 2019 |
| Optimal path planning for surveillance with temporal-logic constraints SL Smith, J Tůmová, C Belta, D Rus The International Journal of Robotics Research 30 (14), 1695-1708, 2011 | 240 | 2011 |
| Optimality and robustness in multi-robot path planning with temporal logic constraints A Ulusoy, SL Smith, XC Ding, C Belta, D Rus The International Journal of Robotics Research 32 (8), 889-911, 2013 | 222 | 2013 |
| Reinforcement learning with temporal logic rewards X Li, CI Vasile, C Belta 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 218 | 2017 |
| Automatic deployment of distributed teams of robots from temporal logic motion specifications M Kloetzer, C Belta IEEE Transactions on Robotics 26 (1), 48-61, 2009 | 211 | 2009 |
| Optimal control of Markov decision processes with linear temporal logic constraints X Ding, SL Smith, C Belta, D Rus IEEE Transactions on Automatic Control 59 (5), 1244-1257, 2014 | 197 | 2014 |
| 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 | 185 | 2016 |
| Temporal logic planning and control of robotic swarms by hierarchical abstractions M Kloetzer, C Belta IEEE Transactions on Robotics 23 (2), 320-330, 2007 | 173 | 2007 |
| Robust temporal logic model predictive control S Sadraddini, C Belta 2015 53rd Annual Allerton Conference on Communication, Control, and …, 2015 | 171 | 2015 |
| Robustness analysis and tuning of synthetic gene networks G Batt, B Yordanov, R Weiss, C Belta Bioinformatics 23 (18), 2415-2422, 2007 | 169 | 2007 |
| Temporal logic control of discrete-time piecewise affine systems B Yordanov, J Tumova, I Cerna, J Barnat, C Belta IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011 | 167 | 2011 |
| Formal approach to the deployment of distributed robotic teams Y Chen, XC Ding, A Stefanescu, C Belta IEEE Transactions on Robotics 28 (1), 158-171, 2011 | 166 | 2011 |
| A decision tree approach to data classification using signal temporal logic G Bombara, CI Vasile, F Penedo, H Yasuoka, C Belta Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 162 | 2016 |
Wei XiaoPostdoc, Massachusetts Institute of Technology在 mit.edu 的电子邮件经过验证
