Indranil Saha

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reward generation for model-free reinforcement learning from formal specifications The Journal of Artificial Intelligence Research (JAIR)	2026-07-31	Paper
A scalable multi-robot goal assignment algorithm for minimizing mission time followed by total movement cost Artificial Intelligence	2025-09-05	Paper
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Safe Self-Triggered Control Based on Precomputed Reachability Sequences Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
A comparative study of a class of mean field theories of the glass transition Journal of Statistical Mechanics: Theory and Experiment	2020-11-09	Paper
Dynamic scheduling for networked control systems Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Planar straight-line embedding of double-tree ccan architecture on a rectangular grid	2009-02-10	Paper
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems Automated Technology for Verification and Analysis	2008-07-03	Paper
A Distributed Algorithm of Fault Recovery for Stateful Failover Lecture Notes in Computer Science	2007-11-13	Paper

Research outcomes over time

This page was built for person: Indranil Saha