Towards Formal Verification of Neuro-symbolic Multi-agent Systems.

Panagiotis Kouvaros

Browse the full IJCAI paper archive.