MPI-SWS researchers receive QEST’18 Best Paper Award

Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018) for their paper entitled “Approximate Time Bounded Reachability for CTMCs
and CTMDPs: A Lyapunov Approach” (with Sadegh Soudjani from Newcastle University).