Efficient Sensitivity Analysis for Parametric Robust Markov Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen 0001. Efficient Sensitivity Analysis for Parametric Robust Markov Chains. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 62-85, Springer, 2023. [doi]

This author has not been identified. Look up 'Thom S. Badings' in GoogleThis author has not been identified. Look up 'Sebastian Junges' in GoogleThis author has not been identified. Look up 'Ahmadreza Marandi' in GoogleThis author has not been identified. Look up 'Ufuk Topcu' in GoogleThis author has not been identified. Look up 'Nils Jansen 0001' in Google

runs on WebDSL