Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents. - Tim Meywerk; Marcel Walter; Vladimir Herdt; Daniel Große; Rolf Drechsler (DSD, 2019)

Clustering-Guided SMT($ mathcal {L !R !A}$) Learning. - Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler (IFM, 2020)

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. - Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler (ISoLA (3), 2020)

Simulation-Based Debugging of Formal Environment Models. - Tim Meywerk; Arthur Niedzwiecki; Vladimir Herdt; Rolf Drechsler (MED, 2022)

Coverage-Guided Fuzzing for Plan-Based Robotics. - Tim Meywerk; Vladimir Herdt; Rolf Drechsler (ICAART (2), 2023)