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


» Clustering-Guided SMT(LRA) Learning




Autor:

Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on integrated Formal Methods (iFM)
Referenz:

Lugano, Switzerland, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Konferenz:
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Referenz:

Rhodes, Greece, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» 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