How CGAAL Model-Checks: A Deeper Insight

Science Tech Brief By HackerNoon

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.