Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski Wojciech Jamroga Damian Kurpiewski

Published in: CoRR (2023)

Keyphrases

case study
model checking
machine learning
decision making
neural network
learning algorithm
artificial intelligence
image processing
knowledge management
capacity planning