Adaptive Safety Arguments and Explanation-Based Learning.

Matt Timperley, Maizura Mokhtar, Joe M. Howe

Browse the full SAFECOMP paper archive.