2024
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
NeurIPS 2024poster
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…