Correct-by-construction policies for POMDPs

ACM Press (2019) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 - ACM Press New York, New York, USA, 2019. - ISBN 9781450366977 - doi:10.1145/3313149.3313366
Page(s): 6-8

Authors

Selected Authors

Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
Becker, Bernd

Other Authors

Wimmer, Ralf
Winterer, Leonore

Identifier