Publication services
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Browsing MBMV 2018 by Author

Browsing MBMV 2018 by Author "Topcu, Ufuk"

Now showing items 1-1 of 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); ConferencePaper

Now showing items 1-1 of 1

Browse

All of DSpace
This Collection

My Account

Login