David Gundana

Papers

Total Citations

H-Index

About

David Gundana is a rising researcher in robotics and formal methods, focused on enabling autonomous systems to handle complex, time-sensitive tasks in dynamic environments. His primary research areas include control synthesis, temporal logic, and human-robot interaction, with a particular emphasis on Event-based Signal Temporal Logic (STL). Gundana’s major contribution lies in developing frameworks that allow robots to execute and adapt high-level, reactive tasks with timing constraints and goal choices. His most cited work, "Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments" (2022, 13 citations), introduces a novel approach to synthesizing controllers for specifications enriched with disjunctions, enabling robots to make decisions in real-time. He has also explored robot-assisted emergency evacuation, comparing strategies like nudging versus waiting to handle non-compliant humans (2023, 2 citations). Additionally, his work on online modifications to STL specifications (2023, 2 citations) allows users to adjust robot tasks during execution in response to environmental changes or potential violations. Gundana’s research bridges theoretical formal methods with practical robotics, offering impactful solutions for safety-critical applications.