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

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 はコメントを受け付けていません

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

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

要約 この研究では、信号時相論理 (STL) 仕様の制御問題を検討します。 従来 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications はコメントを受け付けていません

STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

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

要約 信号時間論理 (STL) は、制御された動的システムが満たさなければならな … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications はコメントを受け付けていません

G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer

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

要約 【タイトル】 「G-MATT: Molecular Grammar Tre … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.SC, q-bio.QM | G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer はコメントを受け付けていません

Supervisory Control of Quantum Discrete Event Systems

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

要約 タイトル：量子ディスクリートイベントシステムの監視制御 要約： &#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

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

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

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

Transformers Learn Shortcuts to Automata

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

要約 タイトル：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

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

要約 タイトル：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

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

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

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

Demonstration Informed Specification Search

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

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

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