External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

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]

Authors

Daniel Stan

This author has not been identified. Look up 'Daniel Stan' in Google

Anthony W. Lin

This author has not been identified. Look up 'Anthony W. Lin' in Google
runs on