Sampling-Based Verification of CTMCs with Uncertain Rates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thom S. Badings, Nils Jansen 0001, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk 0001. Sampling-Based Verification of CTMCs with Uncertain Rates. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 26-47, Springer, 2022. [doi]

This author has not been identified. Look up 'Thom S. Badings' in GoogleThis author has not been identified. Look up 'Nils Jansen 0001' in GoogleThis author has not been identified. Look up 'Sebastian Junges' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in GoogleThis author has not been identified. Look up 'Matthias Volk 0001' in Google

runs on WebDSL