-
最近の投稿
- Avian-Inspired High-Precision Tracking Control for Aerial Manipulators
- CropNav: a Framework for Autonomous Navigation in Real Farms
- Modulating Reservoir Dynamics via Reinforcement Learning for Efficient Robot Skill Synthesis
- EROAM: Event-based Camera Rotational Odometry and Mapping in Real-time
- Adverse Weather-Immune Semantic Segmentation with Unfolded Regularization and Foundation Model Knowledge Distillation for Autonomous Driving
-
最近のコメント
表示できるコメントはありません。 cs.AI (29794) cs.CL (22495) cs.CR (2314) cs.CV (36186) cs.LG (34605) cs.RO (17285) cs.SY (2657) eess.IV (4400) eess.SY (2651) stat.ML (4621)
「cs.FL」カテゴリーアーカイブ
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
要約 自然言語は、一時的なタスクを実行するようにロボットをプログラムするための強 … 続きを読む
Safe Networked Robotics via Formal Verification
要約 自律型ロボットは、安全な制御の決定を下すために、豊富な感覚データを利用する … 続きを読む
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
要約 自動運転車（AV）は、堅牢な知覚システムに大きく依存しています。 ビジョン … 続きを読む