Formal Verification of Parameterised Neural-symbolic Multi-agent Systems.

Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

Browse the full IJCAI paper archive.