Multi-Valued Verification of Strategic Ability.

Wojciech Jamroga Beata Konikowska Wojciech Penczek

Published in: AAMAS (2016)

Keyphrases

multi valued
single valued
multiple valued
complex valued
boolean functions
case study
normal form
truth values
logic synthesis
databases
computer vision
database management systems