Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.

Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Browse the full NeSy paper archive.