There is a newer version of the record available.

Published November 14, 2025 | Version v1
Technical note Open

Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control: Technical Appendix

Description

This document serves as the Technical Appendix to the paper "Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control", accepted for publication at the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26). It provides the full experimental results, extended figures, and detailed analyses that underpin the empirical findings reported in the main paper. All tables, plots, and metrics presented here are consistent with the methodology and evaluation setup described in the main manuscript.

Files

Robust_Lazy_Conflict_Detection_via_Multi_Conflict_Extraction_and_Genetic_Diversity_Control___Technical_Appendix__AAAI_26_.pdf

Additional details

Funding

Austrian Research Promotion Agency
GenRE - Generative AI for Requirements Engineering 915086