Researchers developed a new solver that can efficiently analyze large parity game instances arising from model checking.
研究者たちは、モデル検査から生じる、優先度で色付けされたノードを持つ有向グラフ上で行われるゲームの大規模なインスタンスを効率的に解析できる新しいソルバーを開発した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
