Shyam Lal Karra

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Colored Petri Nets

Nash Equilibria

Optimal Control

Top Venues

Publications

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) (2024)
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra
Parameterized Verification of Disjunctive Timed Networks. CoRR (2023)
Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets (2020)
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba
Safe and Time-Optimal Control for Railway Games. RSSRail (2019)