Aditya Bhutada
Papers
1
Total Citations
5
H-Index
1
About
Aditya Bhutada is a researcher whose work lies at the intersection of formal methods, robotics, and human-robot interaction. His key research areas include the synthesis and verification of robot behaviors, with a particular focus on expressive, diagrammatic representations for motion planning. Bhutada’s major contribution is the introduction of Event Expressions (EE) and Event Diagrams (ED)—a novel, general framework that unifies operators from regular expressions, Boolean logic, and fuzzy logic to describe complex robot motions. This work, presented in his most-cited paper “On Synthesis and Verification from Event Diagrams in a Robot Theatre Application” (2013, 5 citations), demonstrates how formal specifications can be used to generate and verify robot behaviors in creative, real-world contexts like theatrical performances. While his citation count is modest, the conceptual innovation of EE/ED offers a flexible tool for researchers seeking to bridge high-level task descriptions with low-level robotic control. Bhutada’s research is notable for its interdisciplinary approach, combining rigorous verification techniques with artistic applications, making it a valuable reference for those exploring formal methods in embodied AI and human-robot collaboration.
Research Focus
Key Achievements
Top Papers
- 1