Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Bernard E Legay, Sean Sedwards, Jakob Haahr Taankvist

Journal title: Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings : ATVA 2019: Automated Technology for Verification and Analysis

Journal publisher: Springer

Published year: 2019

Published pages: 81-97

DOI identifier: 10.1007/978-3-030-31784-3_5

ISBN: 978-3-030-31783-6