SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking - Agrawal, Rishabh; Ranade, Kaushik; Khanal, Aja; Basu, Kalyan; Narayan, Apurva (Advances in Neural Information Processing Systems, 2025)