Gu, R., Jensen, P. G., Poulsen, D. B., Seceleanu, C., Enoiu, E., & Lundqvist, K. (2022). Verifiable strategy synthesis for multiple autonomous agents: A scalable approach. International journal on software tools for technology transfer, 24(3), 395-414. https://doi.org/10.1007/s10009-022-00657-z
Chicago-Zitierstil (17. Ausg.)Gu, Rong, Peter G. Jensen, Danny B. Poulsen, Cristina Seceleanu, Eduard Enoiu, und Kristina Lundqvist. "Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach." International Journal on Software Tools for Technology Transfer 24, no. 3 (2022): 395-414. https://doi.org/10.1007/s10009-022-00657-z.
MLA-Zitierstil (9. Ausg.)Gu, Rong, et al. "Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach." International Journal on Software Tools for Technology Transfer, vol. 24, no. 3, 2022, pp. 395-414, https://doi.org/10.1007/s10009-022-00657-z.