{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Science Tech Brief By HackerNoon","title":"CGAAL: A Distributed On-The-Fly ATL Model Checker: The Definitions You Should Know About","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/1873e01c\"></iframe>","width":"100%","height":180,"duration":164,"description":"\n        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.\nWe recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation.\nCheck more stories related to science at: https://hackernoon.com/c/science.\n            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.\nThis story was written by: @heuristicsearch. Learn more about this writer by checking @heuristicsearch's about page,\n            and for more stories, please visit hackernoon.com.\nThis 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.","thumbnail_url":"https://img.transistorcdn.com/S66fL9skYMhlajDauLWqBH_bXds_u8JsPbvAZlh45OA/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9zaG93/LzQxMjczLzE2ODM1/ODI0MjQtYXJ0d29y/ay5qcGc.webp","thumbnail_width":300,"thumbnail_height":300}