Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
Crossref DOI link: https://doi.org/10.1007/s10009-022-00657-z
Published Online: 2022-03-30
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gu, Rong
Jensen, Peter G.
Poulsen, Danny B.
Seceleanu, Cristina
Enoiu, Eduard
Lundqvist, Kristina
Funding for this research was provided by:
Mälardalen University
Text and Data Mining valid from 2022-03-30
Version of Record valid from 2022-03-30
Article History
Accepted: 8 March 2022
First Online: 30 March 2022