Poster
in
Workshop: ICML Workshop on Theoretic Foundation, Criticism, and Application Trend of Explainable AI
A MaxSAT Approach to Inferring Explainable Temporal Properties
· Rajarshi Roy · Zhe Xu · Ufuk Topcu · Jean-Raphaël Gaglione
Abstract: