Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (IJCAI, 2024)

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract). - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (LNSAI@IJCAI, 2024)