This abstract reports on MMR25b where we explored two different development methods for reactive synthesis specifications. We evaluated the methods using a mixed-method analysis that combines grounded theory analysis, quantitative exploratory data analysis, and a qualitative, independent expert review of the final specifications.
Ma’ayan et al. (2026) studied this question.