Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Di Wu, Xenofon D. Koutsoukos. Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes. In Vicenç Torra, Yasuo Narukawa, Aïda Valls, Josep Domingo-Ferrer, editors, Modeling Decisions for Artificial Intelligence, Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings. Volume 3885 of Lecture Notes in Computer Science, pages 283-294, Springer, 2006. [doi]

This author has not been identified. Look up 'Di Wu' in GoogleThis author has not been identified. Look up 'Xenofon D. Koutsoukos' in Google

runs on WebDSL