| PyElph-a software tool for gel images analysis and phylogenetics AB Pavel, CI Vasile BMC bioinformatics 13, 1-6, 2012 | 359 | 2012 |
| Reinforcement learning with temporal logic rewards X Li, CI Vasile, C Belta 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 260 | 2017 |
| 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 | 178 | 2016 |
| Sampling-based temporal logic path planning CI Vasile, C Belta 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2013 | 113 | 2013 |
| Development of membrane controllers for mobile robots C Buiu, C Vasile, O Arsene Information Sciences 187, 33-51, 2012 | 110 | 2012 |
| Arithmetic-geometric mean robustness for control from signal temporal logic specifications N Mehdipour, CI Vasile, C Belta 2019 American Control Conference (ACC), 1690-1695, 2019 | 108 | 2019 |
| Minimum-violation scLTL motion planning for mobility-on-demand CI Vasile, J Tumova, S Karaman, C Belta, D Rus 2017 IEEE International Conference on Robotics and Automation (ICRA), 1481-1488, 2017 | 86 | 2017 |
| Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints K Leahy, D Zhou, CI Vasile, K Oikonomopoulos, M Schwager, C Belta Autonomous Robots 40, 1363-1378, 2016 | 68 | 2016 |
| Time window temporal logic CI Vasile, D Aksaray, C Belta Theoretical Computer Science 691, 27-54, 2017 | 66 | 2017 |
| Vehicle trajectory prediction using generative adversarial network with temporal logic syntax tree features X Li, G Rosman, I Gilitschenski, CI Vasile, JA DeCastro, S Karaman, ... IEEE Robotics and Automation Letters 6 (2), 3459-3466, 2021 | 56 | 2021 |
| Specifying user preferences using weighted signal temporal logic N Mehdipour, CI Vasile, C Belta IEEE Control Systems Letters 5 (6), 2006-2011, 2020 | 54 | 2020 |
| 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 | 51 | 2021 |
| Reactive sampling-based path planning with temporal logic specifications CI Vasile, X Li, C Belta The International Journal of Robotics Research 39 (8), 1002-1028, 2020 | 51 | 2020 |
| Dynamic routing of energy-aware vehicles with temporal logic constraints D Aksaray, CI Vasile, C Belta 2016 IEEE International Conference on Robotics and Automation (ICRA), 3141-3146, 2016 | 50 | 2016 |
| On the power of enzymatic numerical P systems CI Vasile, AB Pavel, I Dumitrache, G Păun Acta Informatica 49, 395-412, 2012 | 49 | 2012 |
| Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications CI Vasile, V Raman, S Karaman 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 45 | 2017 |
| Reactive sampling-based temporal logic path planning CI Vasile, C Belta 2014 IEEE International Conference on Robotics and Automation (ICRA), 4310-4315, 2014 | 42 | 2014 |
| Robot localization implemented with enzymatic numerical P systems AB Pavel, CI Vasile, I Dumitrache Biomimetic and Biohybrid Systems: First International Conference, Living …, 2012 | 41 | 2012 |
| 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 | 40 | 2016 |
| Provably correct persistent surveillance for unmanned aerial vehicles subject to charging constraints K Leahy, D Zhou, CI Vasile, K Oikonomopoulos, M Schwager, C Belta Experimental Robotics: The 14th International Symposium on Experimental …, 2016 | 39 | 2016 |
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandVerified email at bu.edu
