「D.2.4」カテゴリーアーカイブ

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

投稿日: 2025年5月1日作成者: jarxiv

要約古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | コメントを受け付けていません

投稿日: 2024年12月19日作成者: jarxiv

要約 Coq などの証明アシスタントを使用した形式的検証により、高品質のソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.4 | コメントを受け付けていません

投稿日: 2024年12月5日作成者: jarxiv

要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む →

カテゴリー: cs.CL, cs.PL, D.2.4 | コメントを受け付けていません

投稿日: 2024年10月16日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません

投稿日: 2024年9月26日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません

投稿日: 2024年8月27日作成者: jarxiv

要約古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | コメントを受け付けていません

投稿日: 2024年7月15日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません