Author

Shankaranarayanan Krishna

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Aug 2026

Solving Robust POMDPs with Omega-regular Objectives via Partially Observable Stochastic Games

Robust POMDPs (RPOMDPs) generalize classical POMDPs to the setting where exact transition probabilities are not known -- rather, they are only known to belong to some uncertainty set of values. In this work, we study the problem of solving RPOMDPs with general omega-regular objectives, which subsume a broad class of ob...

D. Latha, Dion Reji, S. Akshay et al. · 0 citations

#artificial intelligence Preprint Sep 2026

On Synthesis of Metric Interval Temporal Logics

This paper presents the first framework to tackle precise timed passive learning for an expressive timed logic, Metric Interval Temporal Logic (MITL) without relying on predefined templates or restricted logic fragments.

Hsi-Ming Ho, S. Krishna, Khushraj Madnani · 0 citations