Tim Meywerk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICAART | Coverage-Guided Fuzzing for Plan-Based Robotics. | Tim Meywerk, Vladimir Herdt, Rolf Drechsler |
| 2020 | IFM | Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. | Tim Meywerk, Marcel Walter, Daniel Groe, Rolf Drechsler |
| 2020 | ISoLA | Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. | Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathfer, Daniel Groe, Rolf Drechsler |
| 2019 | DSD | Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents. | Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Groe, Rolf Drechsler |