Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design.

Craig Innes, Subramanian Ramamoorthy

Browse the full ICRA paper archive.