-
最近の投稿
- Enhancing Efficiency in Multidevice Federated Learning through Data Selection
- RadarTrack: Enhancing Ego-Vehicle Speed Estimation with Single-chip mmWave Radar
- HOPE: A Reinforcement Learning-based Hybrid Policy Path Planner for Diverse Parking Scenarios
- From Imitation to Exploration: End-to-end Autonomous Driving based on World Model
- LLM-Enabled In-Context Learning for Data Collection Scheduling in UAV-assisted Sensor Networks
-
最近のコメント
表示できるコメントはありません。 cs.AI (36903) cs.CL (27936) cs.CV (42678) cs.HC (2822) cs.LG (41843) cs.RO (21845) cs.SY (3324) eess.IV (4979) eess.SY (3316) stat.ML (5475)
「cs.FL」カテゴリーアーカイブ
Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks
要約 自律型ロボットは、複数の複雑なタスクを伴う現実的なシナリオでますます活用さ … 続きを読む
Convergence and Diversity in the Control Hierarchy
要約 ウィアーは、言語クラスの階層を定義しました。その 2 番目のメンバー ($ … 続きを読む
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
要約 時相ロジックは、複雑なタスクを指定する簡潔な方法です。 しかし、時相論理仕 … 続きを読む
chemSKI with tokens: world building and economy in the SKI universe
要約 トークンを使用した chemSKI は、すべての書き換えがローカルで行われ … 続きを読む
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
要約 この研究では、信号時相論理 (STL) 仕様に関して、連続時間の確率的軌跡 … 続きを読む
Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint
要約 高次ロジック HOL は、型付きデータ構造を表現および推論するための非常に … 続きを読む
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
要約 シナリオは、自動運転システムの開発、テスト、検証にとって重要な要素です。 … 続きを読む
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
要約 この研究では、信号時相論理 (STL) 仕様の制御問題を検討します。 従来 … 続きを読む
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
要約 信号時間論理 (STL) は、制御された動的システムが満たさなければならな … 続きを読む