related documents An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers Conferences Hardness for Explicit State Software Model Checking Benchmarks Conferences
