Researchers study parity games to analyze infinite-state systems and model-checking problems.
研究者は無限状態システムやモデル検査の問題を解析するためにパリティゲームを研究している。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
