STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning

Autor: Damian Kurpiewski, Łukasz Mikulski, Wojciech Jamroga
Rok vydání: 2022
Zdroj: PRIMA 2022: Principles and Practice of Multi-Agent Systems ISBN: 9783031212024
DOI: 10.1007/978-3-031-21203-1_47
Databáze: OpenAIRE