STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning
Book chapter (November 2022)
The most recent citing publications are shown below. View all 39 publications that cite this research output on Dimensions.
Book chapter (November 2022)
Monograph (August 2022)
Article in Theoria (June 2022)