1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Deontic Temporal Logic for Formal Verification of AI Ethics
Priya T. V., Shrisha Rao
Ensuring ethical behavior in Artificial Intelligence (AI) systems amidst their increasing ubiquity and influence is a major concern the world over. The use of formal methods in AI…
cs.AI2025★ 1 cited
The Limits of AI Explainability: An Algorithmic Information Theory Approach
Shrisha Rao
This paper establishes a theoretical foundation for understanding the fundamental limits of AI explainability through algorithmic information theory. We formalize explainability as…