Correct-by-construction policies for POMDPs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker 0001, Ralf Wimmer 0001, Leonore Winterer. Correct-by-construction policies for POMDPs. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 6-8, ACM, 2019. [doi]

This author has not been identified. Look up 'Nils Jansen 0001' in GoogleThis author has not been identified. Look up 'Sebastian Junges' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Tim Quatmann' in GoogleThis author has not been identified. Look up 'Bernd Becker 0001' in GoogleThis author has not been identified. Look up 'Ralf Wimmer 0001' in GoogleThis author has not been identified. Look up 'Leonore Winterer' in Google

runs on WebDSL