論文の概要: Multi-Property Synthesis

• arxiv url: http://arxiv.org/abs/2601.10651v1
• Date: Thu, 15 Jan 2026 18:18:33 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-16 19:43:19.259746
• Title: Multi-Property Synthesis
• Title（参考訳）: 多機能合成
• Authors: Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi,
• Abstract要約: 複数の特性を持つ合成について研究し、全ての特性を満たすことは不可能かもしれない。 プロパティのサブセットを列挙する代わりに、製品ゲーム状態とそれらから実現可能なゴールセットの関係を1つの固定点計算で計算する。
• 参考スコア（独自算出の注目度）: 69.79949693440426
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study LTLf synthesis with multiple properties, where satisfying all properties may be impossible. Instead of enumerating subsets of properties, we compute in one fixed-point computation the relation between product-game states and the goal sets that are realizable from them, and we synthesize strategies achieving maximal realizable sets. We develop a fully symbolic algorithm that introduces Boolean goal variables and exploits monotonicity to represent exponentially many goal combinations compactly. Our approach substantially outperforms enumeration-based baselines, with speedups of up to two orders of magnitude.
• Abstract（参考訳）: 複数の特性を持つLTLf合成について検討し、全ての特性を満たすことは不可能かもしれない。 プロパティのサブセットを列挙する代わりに、製品ゲーム状態とそれらから実現可能なゴールセットの関係を1つの固定点計算で計算し、最大化可能な集合を達成するための戦略を合成する。 ブールゴール変数を導入し,指数関数的に多くのゴールの組み合わせをコンパクトに表現するために単調性を利用する,完全にシンボリックなアルゴリズムを開発した。 提案手法は列挙ベースラインを大幅に上回り,最大2桁のスピードアップを実現している。

関連論文リスト

• MergeDNA: Context-aware Genome Modeling with Dynamic Tokenization through Token Merging [65.07273789940116]
  本稿では,動的ゲノミクストークンと潜在トランスフォーマーをコンテキスト対応事前学習タスクで協調的に最適化する階層型アーキテクチャを提案する。 MergeDNAは3つの人気のあるDNAベンチマークと、微調整やゼロショット評価を伴う複数のマルチオミクスタスクにおいて優れたパフォーマンスを実現している。
  論文  参考訳（メタデータ） (2025-11-17T19:27:41Z)
• Sample Complexity for Quadratic Bandits: Hessian Dependent Bounds and Optimal Algorithms [64.10576998630981]
  最適なヘッセン依存型サンプルの複雑さを, 初めて厳密に評価した。 ヘシアン非依存のアルゴリズムは、すべてのヘシアンインスタンスに対して最適なサンプル複雑さを普遍的に達成する。 本アルゴリズムにより得られたサンプルの最適複雑さは,重み付き雑音分布においても有効である。
  論文  参考訳（メタデータ） (2023-06-21T17:03:22Z)
• Linearization Algorithms for Fully Composite Optimization [61.20539085730636]
  本稿では,完全合成最適化問題を凸コンパクト集合で解くための一階アルゴリズムについて検討する。 微分可能および非微分可能を別々に扱い、滑らかな部分のみを線形化することで目的の構造を利用する。
  論文  参考訳（メタデータ） (2023-02-24T18:41:48Z)
• PropertyDAG: Multi-objective Bayesian optimization of partially ordered, mixed-variable properties for biological sequence design [42.92794039060737]
  本稿では,従来の多目的BO上で動作するフレームワークであるPropertyDAGを紹介する。 ペニシリン生産タスク,おもちゃの数値問題,実世界の抗体設計タスクにおいて,複数のシミュレーションされた能動学習繰り返しの性能を示す。
  論文  参考訳（メタデータ） (2022-10-08T19:42:16Z)
• Orchestrated Value Mapping for Reinforcement Learning [15.000818334408805]
  本稿では2つの異なる原理に基づく強化学習アルゴリズムのクラスを示す。 最初の原則は、学習を強化するための価値推定器に特定のプロパティを組み込むことを可能にする。 2つ目の原則は、値関数を複数のユーティリティ関数の合成として表すことを可能にする。
  論文  参考訳（メタデータ） (2022-03-14T15:13:44Z)
• Multiset Signal Processing and Electronics [1.0152838128195467]
  多重集合は、要素の反復を可能にする伝統的な概念の直感的な拡張である。 最近の実数値関数への多重集合の一般化は、多くの興味深い意味や応用への道を開いた。 離散回路と集積回路のいずれにおいても,高性能な自己相関と相互相関が可能な実効マルチセット演算は比較的単純である。
  論文  参考訳（メタデータ） (2021-11-13T11:50:00Z)
• Practical Bayesian Optimization of Objectives with Conditioning Variables [1.0497128347190048]
  ユーザが複数の問題に直面している場合、状態変数に対してそれぞれを条件付きで最適化する必要がある場合を考える。 目的間の類似性は、それぞれの目的を2つの方法で最適化する。 本稿では条件最適化のためのフレームワークであるConBOを提案する。
  論文  参考訳（メタデータ） (2020-02-23T22:06:26Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。