2 papers
cs.LO2026
On Synthesis of Metric Interval Temporal Logics
Hsi-Ming Ho, Shankaranarayanan Krishna, Khushraj Madnani
Automated mining of formal specifications is vital for verifying real-time systems. However, existing passive learning approaches remain restricted to deterministic specifications…
cs.AI2026
Solving Robust POMDPs with Omega-regular Objectives via Partially Observable Stochastic Games
Durgam Latha, Dion Reji, S. Akshay +2
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 s…