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

Francesco Leofante Alessio Lomuscio

Published in: EUMAS (2023)

Keyphrases

formal verification
multi agent systems
model checking
neural network
bounded model checking
multi agent
network architecture
model checker
symbolic model checking
artificial intelligence
expert systems
program slicing
computationally efficient
human subjects