Program synthesis in the presence of infinite number of inaccuracies - Jain, S. (2014)
Journal of Computer and System Sciences