Yatin TanejaMar 912 min readUse of Formal Verification in AI Safety: Model Checking for Goal Compliance