research
∙
03/02/2022
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
We present a substantially expanded version of our tool STV for strategy...
share
research
∙
10/20/2021
