Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist. Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza, editors, Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Volume 11781 of Lecture Notes in Computer Science, pages 81-97, Springer, 2019. [doi]

This author has not been identified. Look up 'Manfred Jaeger' in GoogleThis author has not been identified. Look up 'Peter Gjøl Jensen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Sean Sedwards' in GoogleThis author has not been identified. Look up 'Jakob Haahr Taankvist' in Google

runs on WebDSL