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
Citace podle Chicago (17th ed.)Sahin, Yunus Emre, Petter Nilsson, a 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.
Citace podle MLA (9th ed.)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.