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 |
Externí odkaz: |