-
最近の投稿
- Topological mapping for traversability-aware long-range navigation in off-road terrain
- Equality Constrained Diffusion for Direct Trajectory Optimization
- Learning-Based Autonomous Navigation, Benchmark Environments and Simulation Framework for Endovascular Interventions
- Language Supervised Human Action Recognition with Salient Fusion: Construction Worker Action Recognition as a Use Case
- Bi-Level Motion Imitation for Humanoid Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (27641) cs.CL (20879) cs.CR (2167) cs.CV (34375) cs.LG (32373) cs.RO (15816) cs.SY (2460) eess.IV (4221) eess.SY (2454) stat.ML (4339)
「cs.FL」カテゴリーアーカイブ
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
要約 多値ロジックは、実行時検証を含むシステム検証に関する文献において長い伝統が … 続きを読む
Fine-Tuning Language Models Using Formal Methods Feedback
要約 事前トレーニングされた言語モデルは、計画と制御に有益な一般的な知識をエンコ … 続きを読む
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments
要約 ナビゲーション コマンドを線形時相論理 (LTL) に固定すると、その明確 … 続きを読む
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
要約 特定のプラントの実行時保証システム (RTA) を使用すると、バックアップ … 続きを読む
Coding by Design: GPT-4 empowers Agile Model Driven Development
要約 ChatGPT などの大規模言語モデル (LLM) を使用して自然言語から … 続きを読む