Deontic Temporal Logic for Formal Verification of AI Ethics. - Priya T. V.; Shrisha Rao 001 (CoRR, 2025)