Consistency analysis of decision-making programs.

Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid

Browse the full POPL paper archive.