「cs.FL」カテゴリーアーカイブ

Learning Neural Control Barrier Functions from Offline Data with Conservatism

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

要約 安全フィルタ、特に制御バリア関数に基づく安全フィルタは、力学系の安全制御の … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.RO, cs.SY, eess.SY | コメントする

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

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

要約 信号時間論理（STL）仕様で複雑なタスクを解決することを学ぶことは、多くの … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO | コメントする

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic

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

要約 ニューラルネットワークベースのポリシーは、多くのロボットアプリケーションで … 続きを読む →

カテゴリー: cs.FL, cs.RO | コメントする

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 | コメントする

A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition

投稿日: 2025年4月23日 作成者: jarxiv

要約 再帰的に構造化されたグラフ様パターンの構文を表すための形式を紹介します。 … 続きを読む →

カテゴリー: cs.CV, cs.FL, F.4.2 | A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition はコメントを受け付けていません

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

投稿日: 2025年4月15日 作成者: jarxiv

要約 信号時間論的論理（STL）は、動的システムでさまざまな時間的特性を指定する … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications はコメントを受け付けていません

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes

投稿日: 2025年4月15日 作成者: jarxiv

要約 サイバー物理システム（CPSS）での安全性を確保することは、特に不確実性、 … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.SY, eess.SY | Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes はコメントを受け付けていません

DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products

投稿日: 2025年4月8日 作成者: jarxiv

要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products はコメントを受け付けていません

DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products

投稿日: 2025年3月31日 作成者: jarxiv

要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products はコメントを受け付けていません

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues

投稿日: 2025年3月19日 作成者: jarxiv

要約 Mamba、RWKV、GLA、MLSTM、Deltanetなどの線形再発性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues はコメントを受け付けていません