2000 character limit reached
Towards Assume-Guarantee Verification of Strategic Ability
Published 24 Oct 2023 in cs.LO and cs.MA | (2310.15727v1)
Abstract: Formal verification of strategic abilities is a hard problem. We propose to use the methodology of assume-guarantee reasoning in order to facilitate model checking of alternating-time temporal logic with imperfect information and imperfect recall.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.