This story was originally published on HackerNoon at:
https://hackernoon.com/how-cgaal-model-checks-a-deeper-insight.
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
Check more stories related to science at:
https://hackernoon.com/c/science.
You can also check exclusive content about
#heuristics,
#cgaal,
#what-is-cgaal,
#how-does-cgaal-work,
#model-checking,
#dependency-graphs,
#what-is-atl,
#cgs-in-computer-science, and more.
This story was written by:
@heuristicsearch. Learn more about this writer by checking
@heuristicsearch's about page,
and for more stories, please visit
hackernoon.com.
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.