News
[August 2022] I am in the program committee of AAAI 2025.
[August 2022] | I am in the program committee of FSE 2025.
[May 2024] | Pankaj Siwan has defended his MS thesis successfully. Congratulations Pankaj!!
[January 2024] | A paper on Online On-Demand Multi-robot Coverage Path Planning has been accepted in ICRA 2024.
[January 2024] | A paper titled An Online Planning Framework for Heterogeneous Multi-Robot Systems with LTL Specification has been accepted in ICCPS 2024.
[December 2023] | A paper on Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences has been accepted in AAMAS 2024.
[December 2023] | A paper on Scalable Multi-Robot Goal Assignment for Minimizing Mission Time has been accepted in AAAI 2024.
[November 2023] | Rohit Singh has defended his MS thesis successfully. Congratulations Rohit!!
[August 2023] | I am in the program committee of ICCPS 2024.
[July 2023] | A paper on Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications, written in collaboration with Verimag, France has been accepted in CDC 2023.
[July 2023] | A paper on Approximation Algorithms for Charging Station Placement for Mobile Robots has been accepted in IROS 2023.
[January 2023] | A paper on safe self-triggerred control has been accepted in HSCC 2023.
[November 2022] A paper on STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning has been accepted in AAAI 2023.
[September 2022] My first PhD student Tanmoy Kundu has defended his thesis successfully. Congratulations Tanmoy!!
[August 2022] I am in the program committee of ICCPS 2023.
[July 2022] Amit Dhyani has defended his MS thesis successfully. Congratulations Amit!!
[July 2022] A paper on an MILP encoding for efficient verification of quantized deep neural networks has been accepted in EMSOFT 2022.
[July 2022] A paper on multi-robot path planning for temporal logic specifications has been accepted in IROS 2022.
[July 2022] A paper on temporal logic path planning under localization uncertainty has been accepted in IROS 2022.
[July 2022] A paper on scalable online coverage path planning for multi-robot systems has been accepted in IROS 2022.
[February 2022] A paper on a heuristic-based scalable goal assignment algorithm for multi-robot systems has been accepted in ICAPS 2022.
[January 2022] I am in the program committee of RV 2022.
[January 2022] I am in the program committee of EMSOFT 2022.
[January 2022] A paper on minimizing multi-directional linearization error in reachability analysis using intersection of unions has been accepted in HSCC 2022.
[October 2021] I am in the program committee of ESEC/FSE 2022.
[October 2021] PhD student Aishwarya Gupta has received the prestigious Prime Minister's Research Fellowship . Congratulations, Aishwarya!!
[August 2021] I am in the program committee of ICCPS 2022.
[July 2021] A paper on temporal logic motion planning in a dynamic environment has been accepted in IROS 2021.
[July 2021] A paper on mobile recharger path planning and recharge scheduling has been accepted in IROS 2021.
[July 2021] A paper on automated synthesis of feedback controllers from complex specifications has been accepted in EMSOFT 2021.
[July 2021] I am in the program committee of HSCC 2022.
[May 2021] PhD student Nikhil Kumar Singh has received the prestigious Prime Minister's Research Fellowship . Congratulations Nikhil!!
[February 2021] I am a program co-chair for MEMOCODE 2021.
[February 2021] A paper on a game theory based online collission avoidance for mobile robots accepted in ICAPS 2021.
[February 2021] A paper on mobibe recharger robot deployment accepted in ICRA 2021.
[January 2021] I am in the program committee of ATVA 2021.
[December 2020] I am in the program committee of EMSOFT 2021.
[August 2020] I am in the program committee of AAAI 2021.
[July 2020] I am in the program committee of HSCC 2021.
[July 2020] A paper on automated debugging of CPS models accepted in EMSOFT 2020. |
[February 2020] I am a program co-chair for MEMOCODE 2020.
[January 2020] A paper on graph-based scalable motion planning for temporal logic specification accepted in ICRA 2020.
[January 2020] I am in the program committee of ATVA 2020.
[December 2019] I am in the program committee of EMSOFT 2020.
[August 2019] I am in the program committee of HSCC 2020.
[Jun 2019] A paper on deep neural network based contro of quadcopters has been accepted in IROS 2019.
[Jun 2019] M.Tech students Dhaval and Manan have graduated. Congratulations!!
[May 2019] I am in the program committee of ICCPS 2020.
[January 2019] A paper on energy-aware motion planning for mobile robots accepted in ICRA 2019.
[December 2018] New Indo-German Collaboration with MPI-SWS funded by Max-Planck Society.
[December 2018] I am in the program committee of EMSOFT 2019.
[November 2018] DRDO funded a project for developing Heterogeneous multi-robot system.
[November 2018] I am in the program committee of ATVA 2019.
[October 2018] New Indo-French Collaboration established with ParisTech and Verimag.
[October 2018] I am in the program committee of ICCPS 2019.
[September 2018] Organizing a special session on Embedded Software for Robotics at ESWeek 2018.
[July 2018] My first batch of M.Tech students Danish and Ravi have graduated. Congratulations!!
[January 2018] A paper on charging station placement for robotic applications accepted in ICRA 2018.
[December 2017] I am in the program committee of EMSOFT 2018.
[December 2017] A paper on receding horizon multi-robot coverage planning accepted in ICCPS 2018.
[July 2016] Received Microsoft Azure Research Award Grant.
[July 2016] I am in the program committee of HSCC 2018.
[July 2017] Delivered a talk on multi-robot task and motion planning at CyPhySS2017 in IISc, Bangalore.
[July 2017] A paper on satisfiability modulo convex programming based multi-robot motion planning accepted in CDC 2017.
[June 2017] A paper on multi-robot task server accepted in EMSOFT 2017.
[April 2017] I am part of MHRD IMPRINT Program and Indian Railways funded project titled "FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems".
[December 2016] A paper on distributed mobile robotics accepted in ICCPS 2017.
[November 2016] I am in the program committee of ATVA 2017.
[July 2016] A paper on scalable motion planning accepted in CDC 2016
[July 2016] I am in the program committee of HSCC 2017.
[July 2016] Project titled "A Framework for Synthesizing Robust Motion Primitives for UAVs" has been funded by DST SERB with a budget of INR 50 lakhs.
[June 2016] A book on Analog Electronic Circuits has been published by New Age International.
[March 2016] Received a DAAD grant for a research stay at MPI-SWS.
[December 2015] A paper on motion planning for multi-robot systems was accepted in ICCPS 2016.
[July 2015] I joined the Department of Computer Science and Engineering at IIT Kanpur
[December 2014] Our paper on dynamic scheduling for networked control systems was accepted in HSCC 2015.
[May 2014] A paper on multi-robot motion planning from safe LTL specifiaction was accepted in IROS 2014.
[January 2014] I was in the program committee of EMSOFT 2014.
[July2013] I joined the ExCAPE project and moved to UC Berkeley.
[April 2013] I defended my Ph.D. thesis on April 29, 2013.
Here are the slides of my final defense.