Vol-3431⫷ Vol-3432 ⫸Vol-3433
urn:nbn:de:0074-3432-0


Vol-3432/paper43⫷Vol-3432/paper44⫸Vol-3432/paper45
Michael AkintundeElena BotoevaPanagiotis KouvarosAlessio Lomuscio

Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems