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
Chicago-Zitierstil (17. Ausg.)Gu, Rong, Peter G. Jensen, Cristina Seceleanu, Eduard Enoiu, und 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.
MLA-Zitierstil (9. Ausg.)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.