Too Long; Didn't Read
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.
Aiding in the focused exploration of potential solutions.
@heuristicsearch
Efficiently exploring and navigating large solution spaces at HeuristicsSearch.Tech
L O A D I N G
. . . comments & more!
About Author
Efficiently exploring and navigating large solution spaces at HeuristicsSearch.Tech