Yegeta Zeleke
Papers
1
Total Citations
4
H-Index
1
About
Yegeta Zeleke is a researcher whose work lies at the intersection of software engineering, formal methods, and autonomous systems. Their key research areas include constraint-based modeling, verification of cyber-physical systems, and domain-specific languages for robotics. Zeleke’s major contribution is the development of a constraint-based modeling approach for autonomous vehicle trajectories, which addresses the inefficiencies of using general-purpose languages like C++ or domain-specific tools like MATLAB/Simulink for programming primitive motions. This work, published in 2015, has garnered 4 citations and stands as a foundational experience report in the field, demonstrating how formal constraints can enhance reliability and safety in autonomous navigation. By bridging the gap between high-level specification and low-level implementation, Zeleke’s research offers practical insights for engineers and researchers tackling the complexities of real-world autonomous systems. Their work is particularly notable for its focus on pragmatic, verifiable solutions that can be directly applied to robotics and autonomous vehicle development, making it a valuable reference for those seeking to improve the robustness of trajectory planning in safety-critical environments.
Research Focus
Key Achievements
Top Papers
- 1