Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski Wojciech Jamroga Damian Kurpiewski

Published in: PRIMA (2022)

Keyphrases

model checking
knowledge management
databases
neural network
decision making
face verification
metadata
website
case study
software engineering
concurrent systems