A Counter Abstraction Technique for the Verification of Robot Swarms
Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2015) · cited 23× · AI/ML