-
最近の投稿
- 3D Water Quality Mapping using Invariant Extended Kalman Filtering for Underwater Robot Localization
- Hybrid Visual Servoing of Tendon-driven Continuum Robots
- Embodying Control in Soft Multistable Grippers from morphofunctional co-design
- View-Invariant Policy Learning via Zero-Shot Novel View Synthesis
- ModSkill: Physical Character Skill Modularization
-
最近のコメント
表示できるコメントはありません。 cs.AI (34028) cs.CL (25726) cs.CR (2616) cs.CV (39965) cs.LG (39031) cs.RO (19850) cs.SY (3019) eess.IV (4757) eess.SY (3013) stat.ML (5150)
「D.2.4」カテゴリーアーカイブ
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
要約 Coq などの証明アシスタントを使用した形式的検証により、高品質のソフトウ … 続きを読む
Grounded Language Design for Lightweight Diagramming for Formal Methods
要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む
The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
要約 グラフ ニューラル ネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む
The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
要約 グラフ ニューラル ネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む