News

[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.