Towards Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski Wojciech Jamroga Damian Kurpiewski

Published in: AAMAS (2022)

Keyphrases

artificial intelligence
formal verification
neural network
information systems
image processing
knowledge management
model checking
changing environment
search engine
evolutionary algorithm
face verification
signature verification
competitive environment