SAIV 2025
SAIV 2024 has successfully concluded! Stay tuned for the coming edition.
Speaker
Elena Botoeva
University of Kent
Research Interests: Machine learning for combinatorial optimisation; explanable AI; verification of AI.
More Information:
Talks at this conference:
| Mon, 14:00 | Verification of Neuro-Symbolic Multi-Agent Systems |