Ramakrishnan, G.; Lee, Y. C.; Albarghouthi, A. Synthesizing Action Sequences for Modifying Model Decisions. AAAI 2020, 34, 5462-5469.