T. Chakraborti, K. Talamadupula, K. Fadnis, M. Campbell, and S. Kambhampati, “UbuntuWorld 1.0 LTS — A Platform for Automated Problem Solving and Troubleshooting in the Ubuntu OS”, AAAI, vol. 31, no. 2, pp. 4657-4663, Feb. 2017.