Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design
Code for STL robustness conversion, environments (reach, pick-and-place, and slide), along with mepe adaptive experiment design code.
Used to generate experiments in paper:
[[ Arxiv Link Pending ]]