Cristian Ioan Vasile
According to our database1, Cristian Ioan Vasile
Legend:Book In proceedings Article PhD thesis Other
Time window temporal logic.
Theor. Comput. Sci., 2017
Reinforcement learning with temporal logic rewards.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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.
Reinforcement Learning With Temporal Logic Rewards.
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.
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