Cristian-Ioan Vasile
Cristian-Ioan Vasile
Bestätigte E-Mail-Adresse bei lehigh.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
PyElph-a software tool for gel images analysis and phylogenetics
AB Pavel, CI Vasile
BMC bioinformatics 13 (1), 1-6, 2012
1852012
Development of membrane controllers for mobile robots
C Buiu, C Vasile, O Arsene
Information Sciences 187, 33-51, 2012
802012
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
742016
Reinforcement learning with temporal logic rewards
X Li, CI Vasile, C Belta
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
602017
Sampling-based temporal logic path planning
CI Vasile, C Belta
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS …, 2013
582013
Frontiers of membrane computing: Open problems and research topics
M Gheorghe, G Paun, MJ Pérez-Jiménez, G Rozenberg
Intern. J. Found. Computer Sci, 171-249, 2013
522013
On the power of enzymatic numerical P systems
CI Vasile, AB Pavel, I Dumitrache, G Păun
Acta Informatica 49 (6), 395-412, 2012
422012
Robot localization implemented with enzymatic numerical P systems
AB Pavel, CI Vasile, I Dumitrache
Conference on Biomimetic and Biohybrid Systems, 204-215, 2012
332012
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 (8), 1363-1378, 2016
322016
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
262017
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, 605-619, 2016
262016
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
262011
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
252016
An Automata-Theoretic Approach to the Vehicle Routing Problem.
CI Vasile, C Belta
Robotics: Science and Systems, 2014
242014
Universality of enzymatic numerical P systems
C Ioan Vasile, A Brânduşa Pavel, I Dumitrache
International Journal of Computer Mathematics 90 (4), 869-879, 2013
242013
Reactive sampling-based temporal logic path planning
CI Vasile, C Belta
2014 IEEE International Conference on Robotics and Automation (ICRA), 4310-4315, 2014
232014
Time window temporal logic
CI Vasile, D Aksaray, C Belta
Theoretical Computer Science 691, 27-54, 2017
212017
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
N Mehdipour, CI Vasile, C Belta
American Control Conference (ACC), 2019
182019
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
182016
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH@ ADHS, 71-103, 2018
132018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20