Safe and Time-Optimal Control for Railway Games. - Shyam Lal Karra; Kim Guldstrand Larsen; Florian Lorber; Jirí Srba (RSSRail, 2019)

On-the-Fly Synthesis for Strictly Alternating Games. - Shyam Lal Karra; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (Petri Nets, 2020)

Parameterized Verification of Disjunctive Timed Networks. - Étienne André; Paul Eichler; Swen Jacobs; Shyam Lal Karra (VMCAI (1), 2024)

Parameterized Verification of Timed Networks with Clock Invariants. - Étienne André; Swen Jacobs; Shyam Lal Karra; Ocan Sankur (CoRR, 2024)