1 paper
Adam Duracz, K. Mani Chandy, Mohamed Abdelrahman +5
Some applications require an assurance that certain criteria are violated with only low probability. An alert is generated when the current course of action is likely to violate as…