-
最近の投稿
- High-Dimensional Independence Testing via Maximum and Average Distance Correlations
- Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments
- ‘Don’t Do That!’: Guiding Embodied Systems through Large Language Model-based Constraint Generation
- SGN-CIRL: Scene Graph-based Navigation with Curriculum, Imitation, and Reinforcement Learning
- Olfactory Inertial Odometry: Sensor Calibration and Drift Compensation
-
最近のコメント
表示できるコメントはありません。 cs.AI (39257) cs.CL (29715) cs.CV (44646) cs.HC (2989) cs.LG (44172) cs.RO (23444) cs.SY (3577) eess.IV (5131) eess.SY (3569) stat.ML (5744)
「cs.FL」カテゴリーアーカイブ
Towards a Self-Replicating Turing Machine
要約 フォン ノイマンのユニバーサル コンストラクターとユニバーサル コピアの部 … 続きを読む
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) 仕様の制御問題を検討します。 従来 … 続きを読む