Volume: Vol-3819 LNSAI 2024 | Year: 2024

Paper: « paper3 | short1 | short2 »

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract)