Key points are not available for this paper at this time.
The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.
Jeannette M. Wing (Wed,) studied this question.