Papers
37
Total Citations
747
H-Index
14
About
Cristian-Ioan Vasile is a robotics and autonomous systems researcher whose work sits at the intersection of formal methods, motion planning, and multi-robot coordination. He is best known for pioneering the integration of temporal logic specifications into robot learning and control, enabling robots to pursue complex, mathematically rigorous behavioral goals rather than hand-engineered heuristics. His landmark 2017 paper on reinforcement learning with temporal logic rewards (160 citations) fundamentally advanced how reward functions can be derived from high-level task specifications, while his sampling-based synthesis work extended these ideas into continuous, high-dimensional domains. Vasile has also made significant contributions to multi-robot systems, developing scalable coordination algorithms for heterogeneous teams under real-world constraints such as strict deadlines and task dependencies, as demonstrated in his ScRATCHeS framework (58 citations). His research spans space exploration robotics, belief-space control under uncertainty, and swarm robotics with human interaction. Earlier in his career, he contributed to the emerging field of membrane computing, applying bio-inspired P systems to robot localization. Collectively, his body of work — spanning over 500 citations — reflects a consistent commitment to making autonomous robots both formally verifiable and practically deployable in complex, uncertain environments.
Research Focus
Key Achievements
Top Papers
- 1Reinforcement learning with temporal logic rewards160 citations · 2017
- 2Development of membrane controllers for mobile robots90 citations · 2011
- 3
- 4
- 5On the power of enzymatic numerical P systems35 citations · 2012
- 6Integrating human swarm interaction in a distributed robotic control system35 citations · 2011
- 7
- 8Control in belief space with Temporal Logic specifications32 citations · 2016
- 9Robot Localization Implemented with Enzymatic Numerical P Systems30 citations · 2012
- 10