AGRA | Team Detail

Konferenzbeiträge

Coverage-guided Fuzzing for Plan-based Robotics
Autor: Tim Meywerk, Vladimir Herdt, Rolf Drechsler
Konferenz: 15th International Conference on Agents and Artificial Intelligence (ICAART)
Pdf | Referenz: Lissabon, Portugal, 2023

Symbolic Fault Injection for Plan-based Robotics
Autor: Tim Meywerk, Vladimir Herdt, Rolf Drechsler
Konferenz: The 22nd International Conference on Control, Automation and Systems (ICCAS)
Pdf | Referenz: Busan, Korea, 2022

Simulation-Based Debugging of Formal Environment Models
Autor: Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt and Rolf Drechsler
Konferenz: The 30th Mediterranean Conference on Control and Automation (MED)
Pdf | Referenz: Athen, Griechenland, 2022

Clustering-Guided SMT(LRA) Learning
Autor: Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
Konferenz: International Conference on integrated Formal Methods (iFM)
Pdf | Referenz: Lugano, Switzerland, 2020

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)
Pdf | Referenz: Rhodes, Greece, 2020

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)
Pdf | Referenz: Kallithea - Chalkidiki, Greece, 2019

Dr. Tim Meywerk

Konferenzbeiträge

Die AGRA

Forschung

Lehre

Publikationen

Entwicklungen

Service