Homepage Sitemap Contact




Home « Team « Publications
» Publications of Tim Meywerk



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Clustering-Guided SMT(LRA) Learning




Author:

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

Lugano, Switzerland, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Rhodes, Greece, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS


















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE