Photo of Shyam Lal Karra
  • Selma Lagerløfs Vej 300, 1-2-03

    9220 Aalborg Ø


If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 14 Similar Profiles
Scheduling Engineering & Materials Science
Reinforcement learning Engineering & Materials Science
Security systems Engineering & Materials Science
Scalability Engineering & Materials Science
Formal verification Engineering & Materials Science

Research Output 2019 2019

  • 1 Article in proceeding
2 Citations (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Reinforcement learning
Security systems
Formal verification