Automata Lab at ICRA@40 Automata Lab at ICML 2024 Automata Lab at HRI 2024 Automata Lab at ACC 2024 Automata Lab at IROS 2023