Towards Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski Wojciech Jamroga Damian Kurpiewski

Published in: CoRR (2023)

Keyphrases

artificial intelligence
knowledge management
case study
decision making
data sets
competitive environment
verification method
image processing
database
website
information systems
multi agent
search algorithm
information technology
computer vision
formal verification
databases