Daniel Stan, Anthony W. Lin. Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. In Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé, editors, AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. pages 1254-1262, ACM, 2021. [doi]
Abstract is missing.