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

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Browse the full KR paper archive.