Strategic reasoning with a bounded number of resources: The quest for tractability
作者：
摘要
The resource-bounded alternating-time temporal logic RB±ATL combines strategic reasoning with reasoning about resources. Its model-checking problem is known to be 2exptime-complete (the same as its proper extension RB±ATL⁎) and fragments have been identified to lower the complexity.
论文关键词：Formal methods,Alternating-time temporal logic,Verification by model checking,Vector addition systems with states,Multi-agent systems
论文评审过程：Received 6 November 2020, Revised 10 July 2021, Accepted 16 July 2021, Available online 22 July 2021, Version of Record 2 August 2021.
论文官网地址：https://doi.org/10.1016/j.artint.2021.103557
