「cs.FL」カテゴリーアーカイブ

Neural Networks and the Chomsky Hierarchy

投稿日: 2023年3月1日 作成者: jarxiv

要約 信頼性の高い一般化は、安全な ML と AI の中心にあります。 ただし、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG | Neural Networks and the Chomsky Hierarchy はコメントを受け付けていません

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning

投稿日: 2023年2月28日 作成者: jarxiv

要約 円筒代数分解 (CAD) は、サイバーフィジカル システムの正式な検証のた … 続きを読む →

カテゴリー: cs.FL, cs.LG | Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning はコメントを受け付けていません

Forward LTLf Synthesis: DPLL At Work

投稿日: 2023年2月28日 作成者: jarxiv

要約 この論文では、以前のアプローチのいくつかの制限を克服する、有限トレース ( … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Forward LTLf Synthesis: DPLL At Work はコメントを受け付けていません

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies

投稿日: 2023年2月28日 作成者: jarxiv

要約 3D ロボット、特に無人航空機のトポロジーの設計空間を体系的に探索するため … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies はコメントを受け付けていません

Safe Networked Robotics via Formal Verification

投稿日: 2023年2月24日 作成者: jarxiv

要約 自律型ロボットは、安全な制御の決定を下すために、豊富な感覚データを利用する … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Safe Networked Robotics via Formal Verification はコメントを受け付けていません

Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification

投稿日: 2023年2月24日 作成者: jarxiv

要約 自然言語は、一時的なタスクを実行するようにロボットをプログラムするための強 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.RO | Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification はコメントを受け付けていません

Safe Networked Robotics via Formal Verification

投稿日: 2023年2月21日 作成者: jarxiv

要約 自律型ロボットは、安全な制御の決定を下すために、豊富な感覚データを利用する … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Safe Networked Robotics via Formal Verification はコメントを受け付けていません

Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic

投稿日: 2022年6月30日 作成者: jarxiv

要約 自動運転車（AV）は、堅牢な知覚システムに大きく依存しています。 ビジョン … 続きを読む →

カテゴリー: 03B44, 14D15, 68T40, cs.CV, cs.FL, cs.RO, I.4.8 | Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic はコメントを受け付けていません