Automata Lab is proud to be participating in IROS 2023! See our paper STL: Surprisingly Tricky Logic (for System Validation) on Wednesday’s session on Formal Methods and Planning. We are also co-organizing the workshop “It Works Really Well!”: Verification in Theory and in Practice all day on Thursday, October 5th.