In order to check if a CGS satisfies an ATL property, CGAAL encodes the problem as an extended dependency graph and finds a fixed-point assignment describing the satisfaction relation.
Aiding in the focused exploration of potential solutions.
@heuristicsearch
L O A D I N G . . . comments & more!
About Author
Aiding in the focused exploration of potential solutions.@heuristicsearch