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

Supervisory Control of Quantum Discrete Event Systems

要約 タイトル:量子ディスクリートイベントシステムの監視制御 要約: &#821 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.SY, eess.SY, quant-ph | Supervisory Control of Quantum Discrete Event Systems はコメントを受け付けていません

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees

要約 タイトル: 線形時間論理に基づく最適性保証つきのLTL仕様からのサンプル効 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG | Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees はコメントを受け付けていません

Transformers Learn Shortcuts to Automata

要約 タイトル:Transformers Learn Shortcuts to … 続きを読む

カテゴリー: cs.FL, cs.LG, stat.ML | Transformers Learn Shortcuts to Automata はコメントを受け付けていません

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees

要約 タイトル:LTL要件付きのサンプル効率の良いモデルフリー強化学習と最適性の … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG | Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees はコメントを受け付けていません

Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives

要約 タイトル:優先度付き優先順位を持った確率的な時空論理目的に対する確率的な計 … 続きを読む

カテゴリー: cs.AI, cs.FL | Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives はコメントを受け付けていません

Demonstration Informed Specification Search

要約 タイトル:Demonstration Informed Specifica … 続きを読む

カテゴリー: cs.AI, cs.FL | Demonstration Informed Specification Search はコメントを受け付けていません

MLRegTest: A Benchmark for the Machine Learning of Regular Languages

要約 タイトル:MLRegTest:正規言語の機械学習のためのベンチマーク 要約 … 続きを読む

カテゴリー: cs.CL, cs.FL, cs.LG | MLRegTest: A Benchmark for the Machine Learning of Regular Languages はコメントを受け付けていません

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning

要約 シミュレーションと正式な手法に基づく環境サンプリングの進歩により、自動運転 … 続きを読む

カテゴリー: cs.FL, cs.LG, cs.RO | Specification-Guided Data Aggregation for Semantically Aware Imitation Learning はコメントを受け付けていません

Interpretable Anomaly Detection via Discrete Optimization

要約 異常検出は、サイバー セキュリティ、法執行機関、医療、詐欺防止など、多くの … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, I.2.6 | Interpretable Anomaly Detection via Discrete Optimization はコメントを受け付けていません

Logical Reasoning over Natural Language as Knowledge Representation: A Survey

要約 論理的推論は、人間の認知と知性の中心です。 AI 内の論理的推論に関する過 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.FL | Logical Reasoning over Natural Language as Knowledge Representation: A Survey はコメントを受け付けていません