STP-based verification of extended finite multi-potential games
Crossref DOI link: https://doi.org/10.1007/s11768-025-00255-9
Published Online: 2025-05-13
Published Print: 2025-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, Zhipeng
Peng, Haotian
Song, Jianbo
Chen, Zengqiang
Text and Data Mining valid from 2025-05-13
Version of Record valid from 2025-05-13
Article History
Received: 19 September 2024
Revised: 25 December 2024
Accepted: 20 January 2025
First Online: 13 May 2025