| PyElph-a software tool for gel images analysis and phylogenetics AB Pavel, CI Vasile BMC bioinformatics 13 (1), 1-6, 2012 | 295 | 2012 |
| Reinforcement learning with temporal logic rewards X Li, CI Vasile, C Belta 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 169 | 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 | 136 | 2016 |
| Development of membrane controllers for mobile robots C Buiu, C Vasile, O Arsene Information Sciences 187, 33-51, 2012 | 102 | 2012 |
| Sampling-based temporal logic path planning CI Vasile, C Belta IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS …, 2013 | 94* | 2013 |
| Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications N Mehdipour, CI Vasile, C Belta American Control Conference (ACC), 2019 | 78 | 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 | 63 | 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 | 58 | 2016 |
| Time window temporal logic CI Vasile, D Aksaray, C Belta Theoretical Computer Science 691, 27-54, 2017 | 46 | 2017 |
| On the power of enzymatic numerical P systems CI Vasile, AB Pavel, I Dumitrache, G Păun Acta Informatica 49, 395-412, 2012 | 46 | 2012 |
| 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 | 43 | 2016 |
| 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 |
| Reactive sampling-based temporal logic path planning CI Vasile, C Belta 2014 IEEE International Conference on Robotics and Automation (ICRA), 4310-4315, 2014 | 38 | 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 | 35 | 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 | 35 | 2016 |
| Integrating human swarm interaction in a distributed robotic control system C Vasile, A Pavel, C Buiu 2011 IEEE international conference on automation science and engineering …, 2011 | 35 | 2011 |
| 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 | 33 | 2017 |
| Specifying user preferences using weighted signal temporal logic N Mehdipour, CI Vasile, C Belta IEEE Control Systems Letters 5 (6), 2006-2011, 2020 | 32 | 2020 |
| Toward specification-guided active mars exploration for cooperative robot teams P Nilsson, S Haesaert, R Thakker, K Otsu, CI Vasile, ... Robotics: Science and Systems Foundation, 2018 | 29 | 2018 |
| An Automata-Theoretic Approach to the Vehicle Routing Problem. CI Vasile, C Belta Robotics: Science and Systems, 1-9, 2014 | 28 | 2014 |
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
