Publications

Preprints

In Press

  • Delivering Trustworthy AI through Formal XAI. Joao Marques-Silva and Alexey Ignatiev. AAAI

2021

2020

2019