Learning-Based Compositional Verification for Synchronous Probabilistic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker. Learning-Based Compositional Verification for Synchronous Probabilistic Systems. In Tevfik Bultan, Pao-Ann Hsiung, editors, Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Volume 6996 of Lecture Notes in Computer Science, pages 511-521, Springer, 2011. [doi]

This author has not been identified. Look up 'Lu Feng' in GoogleThis author has not been identified. Look up 'Tingting Han' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'David Parker' in Google

runs on WebDSL