Repairing Decision-Making Programs Under Uncertainty.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews

Browse the full CAV paper archive.