-
最近の投稿
- Robustness Assessment of Static Structures for Efficient Object Handling
- ALLO: A Photorealistic Dataset and Data Generation Pipeline for Anomaly Detection During Robotic Proximity Operations in Lunar Orbit
- Impact-Aware Control using Time-Invariant Reference Spreading
- Planning by Simulation: Motion Planning with Learning-based Parallel Scenario Prediction for Autonomous Driving
- Off-Dynamics Reinforcement Learning via Domain Adaptation and Reward Augmented Imitation
-
最近のコメント
表示できるコメントはありません。 cs.AI (29723) cs.CL (22445) cs.CR (2308) cs.CV (36129) cs.LG (34535) cs.RO (17234) cs.SY (2649) eess.IV (4391) eess.SY (2643) stat.ML (4611)
「cs.FL」カテゴリーアーカイブ
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) を使用して自然言語から … 続きを読む
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis
要約 自己適応システムは、さまざまなチャネルを介した通信と、環境を観察するために … 続きを読む
Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents
要約 大規模言語モデル (LLM) の最近の進歩により、事前トレーニング中に得ら … 続きを読む
Conflict-Aware Active Automata Learning (Extended Version)
要約 アクティブ オートマトン学習アルゴリズムは、観測データの矛盾 (同じ入力に … 続きを読む
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
要約 時限命題時間論理(TPTL)の${0, \infty}$ 断片の決定可能性 … 続きを読む
Symbolic LTLf Best-Effort Synthesis
要約 非決定的な環境でタスクを遂行するために動作するエージェントを考慮します。 … 続きを読む