Cristian Ioan Vasile

According to our database1, Cristian Ioan Vasile
  • authored at least 22 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Time window temporal logic.
Theor. Comput. Sci., 2017

Minimum-violation scLTL motion planning for mobility-on-demand.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Identifying cancer type specific oncogenes and tumor suppressors using limited size data.
J. Bioinformatics and Computational Biology, 2016

Time Window Temporal Logic.
CoRR, 2016

Reinforcement Learning With Temporal Logic Rewards.
CoRR, 2016

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

A Decision Tree Approach to Data Classification using Signal Temporal Logic.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

SE(N) invariance in networked systems.
Proceedings of the European Control Conference, 2015

An Automata-Theoretic Approach to the Vehicle Routing Problem.
Proceedings of the Robotics: Science and Systems X, 2014

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014

Reactive sampling-based temporal logic path planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Universality of Enzymatic Numerical P systems.
Int. J. Comput. Math., 2013

Sampling-Based Temporal Logic Path Planning.
CoRR, 2013

Sampling-based temporal logic path planning.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Development of membrane controllers for mobile robots.
Inf. Sci., 2012

PyElph - a software tool for gel images analysis and phylogenetics.
BMC Bioinformatics, 2012

On the power of enzymatic numerical P systems.
Acta Inf., 2012

Robot Localization Implemented with Enzymatic Numerical P Systems.
Proceedings of the Biomimetic and Biohybrid Systems - First International Conference, 2012

A software system for collaborative robotics applications and its application in particle swarm optimization implementations.
Appl. Soft Comput., 2011

Integrating human swarm interaction in a distributed robotic control system.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011