Cosmo De Bonis-Campbell

School of Computing , University of Kent

1 paper in the IJCAI proceedings

IJCAI 2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems

with Panagiotis Kouvaros, Elena Botoeva

doi:10.24963/ijcai.2024/12

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings