Delivering Trustworthy AI through Formal XAI.

Joo Marques-Silva, Alexey Ignatiev

Browse the full AAAI paper archive.