Adithya T. Praveen
Papers
1
Total Citations
9
H-Index
1
About
Dr. Adithya T. Praveen is a leading researcher in the field of multirobot autonomous systems, with a primary focus on formal verification and its integration into real-world robotic applications. His work bridges the critical gap between theoretical assurance methods and practical simulation environments, ensuring that distributed robotic systems behave reliably during complex autonomous operations. His most-cited paper, "Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation" (2022), has garnered 9 citations and stands as a key contribution to the field. In this work, Dr. Praveen developed a novel translation framework that converts formal verification models into ROS-based simulations, enabling engineers to validate multirobot behaviors before deployment. This approach directly addresses the growing need for safety and predictability in autonomous systems, particularly as robotics evolves toward greater distribution and coordination. His research has significant implications for applications ranging from warehouse automation to search-and-rescue missions. By providing a systematic method to assure system behavior, Dr. Praveen’s contributions help advance the reliability and trustworthiness of autonomous multirobot systems in both academic and industrial contexts.
Research Focus
Key Achievements
Top Papers
- 1