CGAAL: Wrapping It Up and What Comes Next
#heuristics #cgaal #whatiscgaal #computerscience #prismgames #atlmodelchecker #whatisatl #timetemporallogic
https://hackernoon.com/cgaal-wrapping-it-up-and-what-comes-next
#heuristics #cgaal #whatiscgaal #computerscience #prismgames #atlmodelchecker #whatisatl #timetemporallogic
https://hackernoon.com/cgaal-wrapping-it-up-and-what-comes-next
Hackernoon
CGAAL: Wrapping It Up and What Comes Next | HackerNoon
In this paper, we present CGAAL, our model checker of alternating-time temporal logic properties in concurrent games.