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