Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay. Provably-correct coordination of large collections of agents with counting temporal logic constraints. In Sonia MartÃnez, Eduardo Tovar, Chris Gill, Bruno Sinopoli, editors, Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. pages 249-258, ACM, 2017. [doi]
Abstract is missing.