Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement.

Stylianos Loukas Vasileiou, Minh Nguyen, Tran Cao Son, Huiping Cao, Enrico Pontelli

Browse the full KR paper archive.