Vol-3818⫷ Vol-3819 ⫸Vol-3820
urn:nbn:de:0074-3819-0


Vol-3819/paper3⫷Vol-3819/short1⫸Vol-3819/short2

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