-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.FL」カテゴリーアーカイブ
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) を使用して自然言語から … 続きを読む
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}$ 断片の決定可能性 … 続きを読む