「F.1.1」カテゴリーアーカイブ

3vLTL: A Tool to Generate Automata for Three-valued LTL

投稿日: 2023年11月17日作成者: jarxiv

要約多値ロジックは、実行時検証を含むシステム検証に関する文献において長い伝統が … 続きを読む →

カテゴリー: cs.AI, cs.FL, F.1.1 | コメントを受け付けていません

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

要約周囲の状況を理解する能力は、自動運転車 (AV) にとって最も重要です。 … 続きを読む →

カテゴリー: 68-02, 68-04, 68-06, 68T07, 68T10, 68T45, cs.AI, cs.CV, F.1.1 | コメントを受け付けていません

投稿日: 2023年9月4日作成者: jarxiv

要約時限命題時間論理(TPTL)の${0, \infty}$ 断片の決定可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO, F.1.1 | コメントを受け付けていません

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

要約人間と人工感情のシミュレーション (SHArE) のフレームワークは、心理 … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LG, F.1.1 | コメントを受け付けていません

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

要約完全に実現された量子コンピュータは、コンピューティング能力を指数関数的に向 … 続きを読む →

カテゴリー: cs.AI, cs.AR, F.1.1, quant-ph | コメントを受け付けていません

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

要約周囲のシーンを理解する能力は、自動運転車 (AV) にとって最も重要です。 … 続きを読む →

カテゴリー: 68-02, 68-04, 68-06, 68T07, 68T10, 68T45, cs.AI, cs.CV, F.1.1 | コメントを受け付けていません