Multi-Valued Verification of Strategic Ability.

Wojciech Jamroga Beata Konikowska Damian Kurpiewski Wojciech Penczek

Published in: CoRR (2023)

Keyphrases

multi valued
multiple valued
single valued
normal form
complex valued
truth values
logic synthesis
case study
query language
differential equations
boolean functions