Sofia Cassel
Papers
1
Total Citations
10
H-Index
1
About
Sofia Cassel’s research lies at the critical intersection of autonomous systems, formal verification, and safety engineering. Her most-cited work, “Tuning Permissiveness of Active Safety Monitors for Autonomous Systems” (2018), tackles a fundamental challenge in deploying self-driving vehicles and robots: how to design safety monitors that are both rigorous enough to prevent catastrophic failures and permissive enough to allow useful behavior. By introducing a framework for systematically adjusting the strictness of runtime monitors, Cassel provided a practical method for balancing safety and performance—a contribution that has influenced subsequent work in safe autonomy. Though her citation count (10 for this paper) reflects a focused, early-career impact, the conceptual depth of her approach has made it a reference point for researchers developing verifiable control systems. Cassel’s work is particularly notable for bridging theoretical formal methods with real-world deployment constraints, offering engineers a principled way to tune safety without sacrificing operational flexibility. For students and researchers entering the field, her research exemplifies how careful formal analysis can directly inform the design of trustworthy autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1Tuning Permissiveness of Active Safety Monitors for Autonomous Systems10 citations · 2018