Too Long; Didn't Read
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
Efficiently exploring and navigating large solution spaces at HeuristicsSearch.Tech
L O A D I N G
. . . comments & more!
About Author
Efficiently exploring and navigating large solution spaces at HeuristicsSearch.Tech