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

Damian Kurpiewski Lukasz Mikulski Wojciech Jamroga

Published in: PRIMA (2022)

Keyphrases

multi agent decision making
knowledge base
cognitive abilities
model checking
artificial intelligence
case study
spatial reasoning
automated reasoning
reasoning systems
neural network
genetic algorithm
reasoning tasks