Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. - Niklas Lauffer; Beyazit Yalcinkaya; Marcell Vazquez-Chanlatte; Ameesh Shah; Sanjit A. Seshia (FMCAD, 2022)

Who Needs to Know? Minimal Knowledge for Optimal Coordination. - Niklas Lauffer; Ameesh Shah; Micah Carroll; Michael D. Dennis; Stuart Russell 001 (ICML, 2023)

Welfare Diplomacy: Benchmarking Language Model Cooperation. - Gabriel Mukobi; Hannah Erlebach; Niklas Lauffer; Lewis Hammond; Alan Chan; Jesse Clifton (CoRR, 2023)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit Seshia (NeurIPS, 2024)

Learning Symbolic Task Decompositions for Multi-Agent Teams. - Ameesh Shah; Niklas Lauffer; Thomas Chen; Nikhil Pitta; Sanjit A. Seshia (AAMAS, 2025)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (NeuS, 2025)

Multi-Agent Risks from Advanced AI. - Lewis Hammond; Alan Chan; Jesse Clifton; Jason Hoelscher-Obermaier; Akbir Khan; Euan McLean; Chandler Smith; Wolfram Barfuss; Jakob N. Foerster; Tomas Gavenciak; The Anh Han; Edward Hughes 001; et al. (CoRR, 2025)