Selective Approaches for Solving Weak Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Malte Helmert, Robert Mattmüller, Sven Schewe. Selective Approaches for Solving Weak Games. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 200-214, Springer, 2006. [doi]

This author has not been identified. Look up 'Malte Helmert' in GoogleThis author has not been identified. Look up 'Robert Mattmüller' in GoogleThis author has not been identified. Look up 'Sven Schewe' in Google

runs on WebDSL