TY  - RPRT
TI  - Deontic Temporal Logic for Formal Verification of AI Ethics
AU  - Priya T. V.
AU  - Shrisha Rao
PY  - 2026
UR  - https://arxiv.org/abs/2501.05765
ID  - 2501.05765
ER  -