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

Safe Networked Robotics with Probabilistic Verification

投稿日: 2023年7月14日 作成者: jarxiv

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

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

Efficient Semiring-Weighted Earley Parsing

投稿日: 2023年7月7日 作成者: jarxiv

要約 この論文は、さまざまな高速化を備えた Earley (1970) のコンテ … 続きを読む →

カテゴリー: cs.CL, cs.DS, cs.FL | Efficient Semiring-Weighted Earley Parsing はコメントを受け付けていません

Towards a Self-Replicating Turing Machine

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

要約 フォン ノイマンのユニバーサル コンストラクターとユニバーサル コピアの部 … 続きを読む →

カテゴリー: cs.AI, cs.FL | Towards a Self-Replicating Turing Machine はコメントを受け付けていません

Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks

投稿日: 2023年6月26日 作成者: jarxiv

要約 自律型ロボットは、複数の複雑なタスクを伴う現実的なシナリオでますます活用さ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks はコメントを受け付けていません

Convergence and Diversity in the Control Hierarchy

投稿日: 2023年6月7日 作成者: jarxiv

要約 ウィアーは、言語クラスの階層を定義しました。その 2 番目のメンバー ($ … 続きを読む →

カテゴリー: cs.CL, cs.FL | Convergence and Diversity in the Control Hierarchy はコメントを受け付けていません

Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets

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

要約 時相ロジックは、複雑なタスクを指定する簡潔な方法です。 しかし、時相論理仕 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets はコメントを受け付けていません

chemSKI with tokens: world building and economy in the SKI universe

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

要約 トークンを使用した chemSKI は、すべての書き換えがローカルで行われ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.NE | chemSKI with tokens: world building and economy in the SKI universe はコメントを受け付けていません

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

投稿日: 2023年5月30日 作成者: jarxiv

要約 この研究では、信号時相論理 (STL) 仕様に関して、連続時間の確率的軌跡 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic はコメントを受け付けていません

Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint

投稿日: 2023年5月25日 作成者: jarxiv

要約 高次ロジック HOL は、型付きデータ構造を表現および推論するための非常に … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | Theorem Proving in Dependently-Typed Higher-Order Logic — Extended Preprint はコメントを受け付けていません

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad

投稿日: 2023年5月18日 作成者: jarxiv

要約 シナリオは、自動運転システムの開発、テスト、検証にとって重要な要素です。 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SE | Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad はコメントを受け付けていません