This story was originally published on HackerNoon at:
https://hackernoon.com/cgaal-a-distributed-on-the-fly-atl-model-checker-the-definitions-you-should-know-about.
We recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation.
Check more stories related to science at:
https://hackernoon.com/c/science.
You can also check exclusive content about
#heuristics,
#cgaal,
#atl-model-checker,
#concurrent-games,
#game-strategies,
#prism-games,
#what-is-atl,
#alt-model-checker, 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. We recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation. We will refer to them as "enforce" and "despite", respectively.