Cristian Mahulea

About

Cristian Mahulea is a distinguished researcher specializing in mobile robotics, formal methods, and discrete event systems, with particular expertise in applying Petri net models to autonomous robot planning. His work sits at the intersection of control theory, artificial intelligence, and multi-robot coordination, producing innovative solutions to complex motion planning challenges. Mahulea's most significant contributions involve leveraging Petri net frameworks to address real-world robotics problems, including multi-robot path planning, deadlock prevention, and collision avoidance. His highly cited work on Boolean and Linear Temporal Logic (LTL)-based mission planning demonstrates how formal specification languages can be practically deployed to coordinate robotic teams in probabilistic and dynamic environments. Papers such as "Robot Planning Based on Boolean Specifications Using Petri Net Models" (50 citations) and "LTL-Based Planning in Environments With Probabilistic Observations" (45 citations) exemplify this rigorous approach. Beyond theoretical contributions, Mahulea has shown commitment to education through an open-source MATLAB robotics simulator (34 citations), enabling students worldwide to explore modeling, planning, and motion control interactively. His cumulative citation impact — exceeding 375 across ten key publications — underscores his growing influence in autonomous systems research, making his work essential reading for anyone exploring formal approaches to multi-robot coordination.

Research Focus

Key Achievements

Top Papers

1. 1
   Optimizing cell decomposition path planning for mobile robots using different metrics

   51 citations · 2015
2. 2
   Robot Planning Based on Boolean Specifications Using Petri Net Models

   50 citations · 2017
3. 3
   LTL-Based Planning in Environments With Probabilistic Observations

   45 citations · 2015
4. 4
   Path planning for robotic teams based on LTL specifications and Petri net models

   45 citations · 2019
5. 5
   Path Planning of Cooperative Mobile Robots Using Discrete Event Models

   44 citations · 2019
6. 6
   A Petri net based approach for multi-robot path planning

   38 citations · 2013
7. 7
   A Matlab-based interactive simulator for mobile robotics

   34 citations · 2015
8. 8
   Collision avoidance of mobile robots by using initial time delays

   27 citations · 2015
9. 9
   Petri net approach for deadlock prevention in robot planning

   22 citations · 2013
10. 10
    Multi-robot path planning for syntactically co-safe LTL specifications

    19 citations · 2016

Key Collaborators

Contact & Links