Formal Methods

這篇論文真正關鍵的，不是再講一次 policy 要多嚴，而是指出只要 decision 和 state transition 仍然分兩步，execution-time admissibility 就可能在最後一刻蒸發。