Automata Lab at ICML 2024 Automata Lab at HRI 2024 Automata Lab at ACC 2024 Automata Lab is seeking PhD applicants Automata Lab at IROS 2023