Publikationsdienste
→
TOBIAS-lib - Publikationen und Dissertationen
→
7 Mathematisch-Naturwissenschaftliche Fakultät
→
Auflistung 7 Mathematisch-Naturwissenschaftliche Fakultät nach Autor

Auflistung 7 Mathematisch-Naturwissenschaftliche Fakultät nach Autor "Topcu, Ufuk"

Anzeige der Dokumente 1-1 von 1

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (2018-03-13); Konferenzpaper

Anzeige der Dokumente 1-1 von 1

Veröffentlichen

Stöbern

Gesamter Bestand
Diese Sammlung

Mein Benutzerkonto

Einloggen