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.
How We Evaluated CGAAL: The Experiments That We Ran
#heuristics #cgaal #whatiscgaal #howdoescgaalwork #prismgames #computerscience #prismlang #whatisatl
https://hackernoon.com/how-we-evaluated-cgaal-the-experiments-that-we-ran
#heuristics #cgaal #whatiscgaal #howdoescgaalwork #prismgames #computerscience #prismlang #whatisatl
https://hackernoon.com/how-we-evaluated-cgaal-the-experiments-that-we-ran
Hackernoon
How We Evaluated CGAAL: The Experiments That We Ran | HackerNoon
To evaluate our tool, we run several experiments. In our experiments we compare our global algorithm, our local algorithm using our various search strategies