ML Anthology

De Bonis-Campbell, Cosmo

1 publications

IJCAI 2024 Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell