Automata Lab at AAAI and HSCC 2025 Automata Lab at ICRA@40 Automata Lab at ICML 2024 Automata Lab at HRI 2024 Automata Lab at ACC 2024