Felipe Gorostiaga
Papers
2
Total Citations
16
H-Index
2
About
Felipe Gorostiaga is a leading researcher in runtime verification and autonomous systems, with a focus on ensuring the reliability of robotic task execution. His work centers on the critical challenge of assumption monitoring for temporal task planning, where robots operate under explicit and implicit assumptions about their environment, sensors, and capabilities. Gorostiaga’s key contributions include developing stream runtime verification techniques to detect when these assumptions are violated during execution, preventing silent task failures. His most cited paper, "Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions" (2021, 14 citations), demonstrates how real-time monitoring can safeguard unmanned aerial vehicle missions. Building on this, his 2022 work extends the methodology to broader temporal planning contexts. By bridging formal verification with practical robotics, Gorostiaga’s research enhances the safety and dependability of autonomous systems, making him a notable figure in the field. His work is particularly impactful for students and researchers exploring runtime assurance in cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2