Eleni Karyofylli
Papers
1
Total Citations
22
H-Index
1
About
Eleni Karyofylli is a researcher at the forefront of formal methods and robotics, specializing in automata-based planning and control synthesis. Her work bridges the gap between rigorous theoretical frameworks and practical autonomous systems, particularly in handling complex, real-world specifications. Her most-cited paper, "Automata-based Optimal Planning with Relaxed Specifications" (2021, 22 citations), introduces a novel framework that uses weighted finite state edit systems to model user relaxation preferences—allowing for permissible operations like task substitution and deletion under complex constraints. This contribution is pivotal for enabling robots to gracefully degrade performance when perfect task satisfaction is infeasible, a common challenge in dynamic environments. Karyofylli’s research is highly impactful, with her work cited by peers advancing the fields of optimal control and human-robot interaction. Her achievements include developing scalable algorithms that integrate user-defined priorities into automata-theoretic planning, making her a key figure in the push toward more flexible, human-aware autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1Automata-based Optimal Planning with Relaxed Specifications22 citations · 2021