Scenario-based verification of uncertain parametric MDPs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thom S. Badings, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs. STTT, 24(5):803-819, 2022. [doi]

This author has not been identified. Look up 'Thom S. Badings' in GoogleThis author has not been identified. Look up 'Murat Cubuktepe' 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. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Ufuk Topcu' in Google

runs on WebDSL