Gu, R., Jensen, P. G., Seceleanu, C., Enoiu, E., & Lundqvist, K. (2022). Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Science of computer programming, 224, 102894. https://doi.org/10.1016/j.scico.2022.102894
Citace podle Chicago (17th ed.)Gu, Rong, Peter G. Jensen, Cristina Seceleanu, Eduard Enoiu, a Kristina Lundqvist. "Correctness-guaranteed Strategy Synthesis and Compression for Multi-agent Autonomous Systems." Science of Computer Programming 224 (2022): 102894. https://doi.org/10.1016/j.scico.2022.102894.
Citace podle MLA (9th ed.)Gu, Rong, et al. "Correctness-guaranteed Strategy Synthesis and Compression for Multi-agent Autonomous Systems." Science of Computer Programming, vol. 224, 2022, p. 102894, https://doi.org/10.1016/j.scico.2022.102894.