A Counter Abstraction Technique for the Verification of Robot Swarms.

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full AAAI paper archive.