Tim Meywerk

According to our database, Tim Meywerk authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Coverage-Guided Fuzzing for Plan-Based Robotics.

Tim Meywerk, Vladimir Herdt, Rolf Drechsler

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

Simulation-Based Debugging of Formal Environment Models.

Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt, Rolf Drechsler

Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning.

Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019