Module Checking of Strategic Ability.

Wojciech Jamroga Aniello Murano

Published in: AAMAS (2015)

Keyphrases

case study
databases
decision making
optimal solution
verification method
real time
information systems
knowledge base
similarity measure
control system
short and long term