Cristina Stirbu

Papers

Total Citations

H-Index

About

Cristina Stirbu’s research focuses on the intersection of formal verification, hybrid systems, and medical robotics, with a particular emphasis on ensuring safety and reliability in human-robot collaborative environments. Her most cited work advances a control strategy based on differential dynamic logic (dL) for a cooperative surgeon-robot system, modeling the complex interplay between discrete control decisions and continuous physical dynamics during surgical procedures. This contribution addresses critical challenges in cyber-physical systems where safety guarantees are paramount, offering a rigorous logical framework to verify system behavior under real-time constraints. While her citation count reflects the specialized, emerging nature of this field, the work’s significance lies in its foundational approach to formal verification in medical robotics—a domain where correctness can directly impact patient outcomes. Stirbu’s research bridges theoretical computer science and practical robotic applications, demonstrating how formal methods like dL can be applied to high-stakes environments. Her contributions are particularly relevant for researchers working on safety-critical autonomous systems, human-robot interaction, and the formal verification of hybrid dynamics in healthcare technologies.