![]() |
Indranil SahaAssociate ProfessorP. K. Kelkar Faculty FellowDepartment of Computer Science and EngineeringRM 408 (Rajeev Motwani Building) Indian Institute of Technology Kanpur Uttar Pradesh 208016, India Email: isaha[at]cse[dot]iitk[dot]ac[dot]in Tel No: +91 512 259 6343 (Office) Fax No: +91 512 679 7586 (Office) |
[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. |