Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design
Craig Innes,Subramanian Ramamoorthy,Craig Innes,Subramanian Ramamoorthy
Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of “black-box” components with unknown dynamics, we cannot rely on formal verification to assess our system. Assessing robustness via exhaustive testing is also often infeasible if the number of possible environments is large compared to experiment cos...
