If you can rigorously define Safety, you’ve already solved the Safety Problem. This isn’t a shortcut.
If you can rigorously define Safety, you’ve already solved the Safety Problem. This isn’t a shortcut.