Robuta

https://www.wuvt.vt.edu/playlists/track/167764 another world - abstraktions volume 2 - abstrakt reality - Playlist Archive - WUVT: Radio for... another world https://ub01.uni-tuebingen.de/xmlui/handle/10900/84282?show=full Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext motion planning verifikation von im kontext