Anubhav Gupta

Papers

Total Citations

H-Index

About

Anubhav Gupta is a leading researcher in the formal verification and assurance of multirobot autonomous systems, with a focus on bridging the gap between rigorous theoretical modeling and practical simulation. His most-cited work, "Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation" (2022, 9 citations), introduces a novel framework that translates formal verification results into executable Robot Operating System (ROS) simulations. This contribution addresses a critical challenge in robotics: ensuring that complex, distributed multirobot systems behave reliably in real-world operations. By enabling developers to verify system properties before deployment, Gupta’s work enhances safety and trustworthiness in autonomous applications. His research has been recognized for its impact on the integration of formal methods into mainstream robotics engineering, offering a scalable path to assurance. With growing citations and influence, Gupta is shaping the future of dependable autonomous systems, making his work essential reading for students and researchers in robotics, formal verification, and multi-agent coordination.