Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification.

Francesco Leofante, Alessio Lomuscio

Browse the full EUMAS paper archive.