CGAAL: A Distributed On-The-Fly ATL Model Checker: The Definitions You Should Know About
Science Tech Brief By HackerNoon
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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.