-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.FL」カテゴリーアーカイブ
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
要約 信号時間論理（STL）仕様で複雑なタスクを解決することを学ぶことは、多くの … 続きを読む
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
要約 ニューラルネットワークベースのポリシーは、多くのロボットアプリケーションで … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む
A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition
要約 再帰的に構造化されたグラフ様パターンの構文を表すための形式を紹介します。 … 続きを読む
STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
要約 信号時間論的論理（STL）は、動的システムでさまざまな時間的特性を指定する … 続きを読む
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
要約 サイバー物理システム（CPSS）での安全性を確保することは、特に不確実性、 … 続きを読む
DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues
要約 Mamba、RWKV、GLA、MLSTM、Deltanetなどの線形再発性 … 続きを読む
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
要約 このペーパーでは、「論理ネットワークフロー」という名前の最適化ベースのタス … 続きを読む