Towards Assume-Guarantee Verification of Strategic Ability

24 October 2023

Papers citing "Towards Assume-Guarantee Verification of Strategic Ability"

2 / 2 papers shown

Title
Assume-Guarantee Verification of Strategic Ability Lukasz Mikulski W. Jamroga Damian Kurpiewski LRM 43 1 0 24 Oct 2023
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning Damian Kurpiewski Lukasz Mikulski W. Jamroga LRM 23 1 0 02 Mar 2022