Sahin, Y. E., Nilsson, P., & Ozay, N. (2017, April 18). Provably-correct coordination of large collections of agents with counting temporal logic constraints. 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS), 249-258. https://doi.org/10.1145/3055004.3055021
Chicago-Zitierstil (17. Ausg.)Sahin, Yunus Emre, Petter Nilsson, und Necmiye Ozay. "Provably-correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints." 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) 18 Apr. 2017: 249-258. https://doi.org/10.1145/3055004.3055021.
MLA-Zitierstil (9. Ausg.)Sahin, Yunus Emre, et al. "Provably-correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints." 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS), 18 Apr. 2017, pp. 249-258, https://doi.org/10.1145/3055004.3055021.