Ashley Suh

STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)

As learned control policies become increasingly common in autonomous systems, there is increasing need to ensure that they are interpretable and can be checked by human stakeholders. Formal specifications have been proposed as ways to produce human-interpretable policies for autonomous systems that…