Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Tim Meywerk


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt