-
最近の投稿
- Robustness Assessment of Static Structures for Efficient Object Handling
- ALLO: A Photorealistic Dataset and Data Generation Pipeline for Anomaly Detection During Robotic Proximity Operations in Lunar Orbit
- Impact-Aware Control using Time-Invariant Reference Spreading
- Planning by Simulation: Motion Planning with Learning-based Parallel Scenario Prediction for Autonomous Driving
- Off-Dynamics Reinforcement Learning via Domain Adaptation and Reward Augmented Imitation
-
最近のコメント
表示できるコメントはありません。 cs.AI (29723) cs.CL (22445) cs.CR (2308) cs.CV (36129) cs.LG (34535) cs.RO (17234) cs.SY (2649) eess.IV (4391) eess.SY (2643) stat.ML (4611)
「cs.FL」カテゴリーアーカイブ
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
要約 この論文では、例から構造再帰を学習するトランスフォーマーベースのモデルの機 … 続きを読む
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
要約 時相論理仕様、特に線形時相論理 (LTL) を使用したロボット計画に関する … 続きを読む
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
要約 時相論理仕様、特に線形時相論理 (LTL) を使用したロボット計画に関する … 続きを読む
Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
要約 最も基本的な自然法則の多くは、偏微分方程式 (PDE) として定式化できま … 続きを読む
On The Expressivity of Recurrent Neural Cascades
要約 リカレント ニューラル カスケード (RNC) は、リカレント ニューロン … 続きを読む
When Input Integers are Given in the Unary Numeral Representation
要約 多くの NP 完全問題は、入力インスタンスの一部として整数を受け取ります。 … 続きを読む
Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents
要約 大規模言語モデル (LLM) の最近の進歩により、事前トレーニング中に得ら … 続きを読む
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
要約 自動運転車 (AV) は、堅牢な認識システムに大きく依存しています。 ビジ … 続きを読む
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata
要約 多項式サイズの有限オートマトンの不均一ファミリーは、多項式的に多くの内部状 … 続きを読む
3vLTL: A Tool to Generate Automata for Three-valued LTL
要約 多値ロジックは、実行時検証を含むシステム検証に関する文献において長い伝統が … 続きを読む