Прати
Cristian Ioan Vasile
Cristian Ioan Vasile
Assistant Professor, Lehigh University
Верификована је имејл адреса на lehigh.edu - Почетна страница
Наслов
Навело
Навело
Година
PyElph-a software tool for gel images analysis and phylogenetics
AB Pavel, CI Vasile
BMC bioinformatics 13, 1-6, 2012
3552012
Reinforcement learning with temporal logic rewards
X Li, CI Vasile, C Belta
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
2612017
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
1802016
Sampling-based temporal logic path planning
CI Vasile, C Belta
2013 IEEE/RSJ international conference on intelligent robots and systems …, 2013
1132013
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
1122019
Development of membrane controllers for mobile robots
C Buiu, C Vasile, O Arsene
Information Sciences 187, 33-51, 2012
1032012
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
872017
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
722016
Time window temporal logic
CI Vasile, D Aksaray, C Belta
Theoretical Computer Science 691, 27-54, 2017
692017
Specifying user preferences using weighted signal temporal logic
N Mehdipour, CI Vasile, C Belta
IEEE Control Systems Letters 5 (6), 2006-2011, 2020
582020
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
562021
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
522020
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
512021
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
502016
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
452017
On the power of enzymatic numerical P systems
CI Vasile, AB Pavel, I Dumitrache, G Păun
Acta Informatica 49, 395-412, 2012
442012
Reactive sampling-based temporal logic path planning
CI Vasile, C Belta
2014 IEEE International Conference on Robotics and Automation (ICRA), 4310-4315, 2014
422014
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
402016
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
402016
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
392011
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20