Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Volume 10981 of Lecture Notes in Computer Science, pages 623-642, Springer, 2018. [doi]

This author has not been identified. Look up 'Edon Kelmendi' in GoogleThis author has not been identified. Look up 'Julia Krämer' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Maximilian Weininger' in Google

runs on WebDSL