Rajdeep Niyogi

About

Rajdeep Niyogi is a researcher whose work sits at the intersection of multi-robot systems, distributed algorithms, and formal verification — areas with growing significance in autonomous systems and artificial intelligence. His research primarily investigates how teams of robots can coordinate effectively in dynamic, uncertain environments, tackling real-world challenges such as urban search and rescue, cooperative transportation, and autonomous exploration. Among his most recognized contributions, Niyogi's 2019 paper on distributed road clearance in urban search and rescue environments has garnered 23 citations, establishing him as a thoughtful voice in multi-robot coordination under constrained conditions. His follow-up work on autonomous cooperative transportation (2020, 13 citations) introduced runtime coalition formation, enabling robots to self-organize optimally without prior knowledge of environmental parameters. What distinguishes Niyogi's research profile is his commitment to rigor: alongside systems-level work, he has consistently pursued formal specification and verification of distributed protocols using tools like TLA⁺ and communicating automata, ensuring that proposed algorithms are not only practical but mathematically sound. His explorations into multi-agent reinforcement learning further reflect an ambition to bridge classical distributed computing with modern AI-driven approaches — making his body of work a valuable resource for researchers designing reliable autonomous multi-robot systems.

Research Focus

Key Achievements

Top Papers

1. 1
   A distributed approach for road clearance with multi-robot in urban search and rescue environment

   23 citations · 2019
2. 2
   A distributed approach for autonomous cooperative transportation in a dynamic multi-robot environment

   13 citations · 2020
3. 3
   An Approach for Task Execution in Dynamic Multirobot Environment

   9 citations · 2018
4. 4
   Formal specification and verification of a team formation protocol using TLA⁺

   5 citations · 2023
5. 5
   Sweeping-Based Multi-Robot Exploration in an Unknown Environment Using Webots

   3 citations · 2024
6. 6
   Formal Verification of a Distributed Algorithm for Task Execution

   3 citations · 2020
7. 7
   Formal Modeling, Verification, and Analysis of a Distributed Task Execution Algorithm

   3 citations · 2021
8. 8
   Formal Specification of a Team Formation Protocol

   3 citations · 2022
9. 9
   Multi-agent Q-learning Based Navigation in an Unknown Environment

   3 citations · 2022
10. 10
    Distributed Framework for Task Execution with Quantitative Skills

    2 citations · 2021

Key Collaborators

Contact & Links