-
最近の投稿
- Learning to Drive Anywhere with Model-Based Reannotation11
- KineSoft: Learning Proprioceptive Manipulation Policies with Soft Robot Hands
- CityNavAgent: Aerial Vision-and-Language Navigation with Hierarchical Semantic Planning and Global Memory
- Closing the Loop: Motion Prediction Models beyond Open-Loop Benchmarks
- Adaptive Stress Testing Black-Box LLM Planners
-
最近のコメント
表示できるコメントはありません。 cs.AI (37890) cs.CL (28643) cs.CV (43507) cs.HC (2900) cs.LG (42826) cs.RO (22521) cs.SY (3457) eess.IV (5045) eess.SY (3449) stat.ML (5583)
「F.3.1; F.4.3; D.2.4」カテゴリーアーカイブ
A first-order logic characterization of safety and co-safety languages
要約 Linear Temporal Logic (LTL) は最も人気のある時 … 続きを読む
カテゴリー: cs.AI, cs.LO, F.3.1; F.4.3; D.2.4
A first-order logic characterization of safety and co-safety languages はコメントを受け付けていません