Correct-by-construction policies for POMDPs

ACM Press (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 6-8

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

Wimmer, Ralf
Winterer, Leonore

Identifikationsnummern