-
最近の投稿
- 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」カテゴリーアーカイブ
Self-Attention Networks Can Process Bounded Hierarchical Languages
要約 NLP での印象的なパフォーマンスにもかかわらず、自己注意ネットワークは、 … 続きを読む
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
要約 この作品は、定量的反応合成のための効率的なシンボリック アルゴリズムを紹介 … 続きを読む
Automata Cascades: Expressivity and Sample Complexity
要約 すべてのオートマトンは、基本素数オートマトンのカスケードに分解することがで … 続きを読む
Neural Networks and the Chomsky Hierarchy
要約 信頼性の高い一般化は、安全な ML と AI の中心にあります。 ただし、 … 続きを読む
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
要約 円筒代数分解 (CAD) は、サイバーフィジカル システムの正式な検証のた … 続きを読む
Forward LTLf Synthesis: DPLL At Work
要約 この論文では、以前のアプローチのいくつかの制限を克服する、有限トレース ( … 続きを読む
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
要約 3D ロボット、特に無人航空機のトポロジーの設計空間を体系的に探索するため … 続きを読む
Safe Networked Robotics via Formal Verification
要約 自律型ロボットは、安全な制御の決定を下すために、豊富な感覚データを利用する … 続きを読む
Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification
要約 自然言語は、一時的なタスクを実行するようにロボットをプログラムするための強 … 続きを読む