STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

27 October 2023

Papers citing "STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions"

9 / 9 papers shown

Title
Pretty Good Strategies and Where to Find Them Wojciech Jamroga Damian Kurpiewski 16 1 0 25 Oct 2023
Verification of Multi-Agent Properties in Electronic Voting: A Case Study Damian Kurpiewski W. Jamroga Lukasz Mako Lukasz Mikulski Witold Pazderski W. Penczek Teofil Sidoruk 34 7 0 24 Oct 2023
Towards Assume-Guarantee Verification of Strategic Ability Lukasz Mikulski W. Jamroga Damian Kurpiewski LRM 24 2 0 24 Oct 2023
Assume-Guarantee Verification of Strategic Ability Lukasz Mikulski W. Jamroga Damian Kurpiewski LRM 41 1 0 24 Oct 2023
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory M. Tabatabaei W. Jamroga 20 2 0 28 Feb 2023
Towards Modelling and Verification of Social Explainable AI Damian Kurpiewski W. Jamroga Teofil Sidoruk AAML 37 3 0 02 Feb 2023
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020 W. Jamroga Peter Y. A. Ryan Yan Kim 20 1 0 19 Oct 2022
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning Damian Kurpiewski Lukasz Mikulski W. Jamroga LRM 17 1 0 02 Mar 2022
Practical Abstraction for Model Checking of Multi-Agent Systems W. Jamroga Yan Kim 26 5 0 24 Feb 2022