Indranil Saha

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (7)

• Reward Generation for Model-Free Reinforcement Learning from Formal Specifications
  Journal of Artificial Intelligence Research 2026 DOI: 10.1613/jair.1.19303
  +Save
• A scalable multi-robot goal assignment algorithm for minimizing mission time followed by total movement cost
  Artificial Intelligence 2025 DOI: 10.1016/j.artint.2025.104388
  +Save
• Introduction to the Special Issue on Formal Methods and Models for System Design
  ACM Transactions on Embedded Computing Systems 2025 DOI: 10.1145/3722218
  +Save
• Integrated Task and Path Planning for Collaborative Multi-Robot Systems
  2025 DOI: 10.1145/3716550.3722028
  +Save
• Safe Self-Triggered Control Based on Precomputed Reachability Sequences
  2023 DOI: 10.1145/3575870.3587124
  +Save
• An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2022 DOI: 10.1109/TCAD.2022.3197697
  +Save
• Specification-Guided Automated Debugging of CPS Models
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2020 DOI: 10.1109/TCAD.2020.3012862
  +Save