Rao, Shrisha
- Deontic Temporal Logic for Formal Verification of AI Ethics
2025/01/10 by Tanu Priya, V., Priya T., Shrisha Rao +1 · 1 citation
Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #F.4.1 #FOS: Computer and information sciences #I.2.m #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge