Shyam Lal Karra

According to our database, Shyam Lal Karra authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parameterized Verification of Disjunctive Timed Networks.

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2020

On-the-Fly Synthesis for Strictly Alternating Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Safe and Time-Optimal Control for Railway Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019