Article dans une revue
Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar. A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. Journal of Artificial Intelligence Research, 2025, 82, pp.901-936. ⟨10.1613/jair.1.16206⟩. ⟨hal-04996488⟩
Année de publication