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

This work shows that, for (s,a)-rectangular RPOMDPs with polytopic uncertainty sets, the problem of solving RPOMDPs under omega-regular objectives can be reduced to solving partially observable stochastic games (POSGs) under omega-regular objectives.

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