Vidvan Image

Dr Indranil Saha

vidwan id: 110880
Male

Associate Professor, Department of Computer Science and Engineering
Indian Institute of Technology Kanpur

Expertise

  • Computer Science Theory and Methods

Publications

Total Articles 65
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 1419
h-index 16

CrossRef

CrossRef Icon
Citations 1111
h-index 14
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Computer Science Theory and Methods

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Kanpur
  • Indian Institute of Technology, Kanpur
No Data Found

There is currently nothing to display here.

Associate Professor Dec 2019 – Present
Indian Institute of Technology Kanpur | Department of Computer Science and Engineering
Assistant Professor Jul 2015 – Dec 2019
Indian Institute of Technology Kanpur | Department of Computer Science and Engineering

Related Profiles

Experts (2488+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (531+)

View All
A V Ravishankar

Dr A V Ravishankar Sarma

Associate Professor

Arunabh

Dr Arunabh Meshram

Assistant Professor

Alok

Dr Alok Ranjan Verma

Assistant Professor

Amit

Dr Amit Kuber

Associate Professor

Ajay Singh Ramdin

Dr Ajay Singh Ramdin Thakur

Associate Professor

Dharmaraja

Dr Dharmaraja Allimuthu

Assistant Professor

Arun Kumar

Dr Arun Kumar Shukla

Associate Professor

Co-Authors (3)

Bhargab Bikram

Prof Bhargab Bikram Bhattacharya

Indian Statistical Institute, Kolkata

Swarnendu

Dr Swarnendu Biswas

Indian Institute of Technology Kanpur

Tanmoy

Dr Tanmoy Kundu

Indraprastha Institute of Information Technology Delhi (IIIT Delhi)

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning

Open Access
Conference Paper

Safe Self-Triggered Control Based on Precomputed Reachability Sequences

Open Access
Conference Paper
Authors: Adimoolam A.;Saha I.;Dang T.

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications

Open Access
Conference Paper
Authors: Dang T.;Donzé A.;Haque I.;Kekatos N.;Saha I.

MT*: Multi-Robot Path Planning for Temporal Logic Specifications

Open Access
Conference Paper

An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks

Open Access
Conference Paper

It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems

Open Access
Conference Paper

Scalable Online Coverage Path Planning for Multi-Robot Systems

Open Access
Conference Paper

Temporal Logic Path Planning under Localization Uncertainty

Open Access
Conference Paper