Multi-valued Verification of Strategic Ability.

Wojciech Jamroga Beata Konikowska Damian Kurpiewski Wojciech Penczek

Published in: Fundam. Informaticae (2020)

Keyphrases

multi valued
single valued
multiple valued
case study
normal form
truth values
boolean functions
complex valued
level set
undirected graph