Formal Language Constraints for Markov Decision Processes. - Eleanor Quint; Dong Xu 021; Haluk Dogan; Zeynep Hakguder; Stephen Scott 001; Matthew B. Dwyer (CoRR, 2019)

Quantitatively Evaluating the Validity of Contrastive Generators for Recourse. - Ian Howell; Eleanor Quint; Hongfeng Yu 001 (IEEE Big Data, 2023)