Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer. Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 10061-10068, AAAI Press, 2020. [doi]

This author has not been identified. Look up 'Maxime Bouton' in GoogleThis author has not been identified. Look up 'Jana Tumova' in GoogleThis author has not been identified. Look up 'Mykel J. Kochenderfer' in Google

runs on WebDSL