A Logic for Reasoning about Safety in Decision Support Systems.

Subrata Kumar Das, John Fox

Browse the full ECSQARU paper archive.