-
最近の投稿
- Physical Reservoir Computing in Hook-Shaped Rover Wheel Spokes for Real-Time Terrain Identification
- Chain-of-Modality: Learning Manipulation Programs from Multimodal Human Videos with Vision-Language-Models
- Multi-Sensor Fusion-Based Mobile Manipulator Remote Control for Intelligent Smart Home Assistance
- Integration of a Graph-Based Path Planner and Mixed-Integer MPC for Robot Navigation in Cluttered Environments
- Demonstrating CavePI: Autonomous Exploration of Underwater Caves by Semantic Guidance
-
最近のコメント
表示できるコメントはありません。 cs.AI (36829) cs.CL (27883) cs.CV (42623) cs.HC (2814) cs.LG (41781) cs.RO (21795) cs.SY (3320) eess.IV (4979) eess.SY (3312) stat.ML (5469)
「cs.FL」カテゴリーアーカイブ
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
要約 非決定的な環境でタスクを遂行するために動作するエージェントを考慮します。 … 続きを読む
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
要約 この論文では、任意の到達可能性と安全性特性の環境仕様の下での LTLf 合 … 続きを読む
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
要約 私たちは、有限トレース上の線形時相論理 (LTLf) で表現された目標に向 … 続きを読む
A Measure-Theoretic Characterization of Tight Language Models
要約 自然言語処理の中心的なタスクである言語モデリングには、文字列全体の確率分布 … 続きを読む
Weakly synchronous systems with three machines are Turing powerful
要約 通信有限状態マシン (CFM) は、非同期メッセージ パッシング分散システ … 続きを読む