Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Berisha, David"'
The aim of this project was to improve upon a toolfor strategy synthesis for multi-agent games of imperfect informationagainst nature. Another objective was to compare the toolwith the original tool we improved upon and the Strategic ModelChecker (SM
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-308452
