(game theory) A type of game played on a directed graph whose nodes are coloured by priority.
parity game
研究者たちは、モデル検査から生じる、優先度で色付けされたノードを持つ有向グラフ上で行われるゲームの大規模なインスタンスを効率的に解析できる新しいソルバーを開発した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★