This story was originally published on HackerNoon at:
https://hackernoon.com/a-tool-overview-of-cgaal-a-distributed-on-the-fly-atl-model-checker.
The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards.
Check more stories related to science at:
https://hackernoon.com/c/science.
You can also check exclusive content about
#heuristics,
#cgaal,
#what-is-cgaal,
#atl-model-checker,
#what-is-atl,
#cgaal-tool-overview,
#atl-formula,
#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.
This paper is available on arxiv under CC 4.0 license. The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards. The primary feature of CGAAL is the verification of ATL properties for CGSs.