-
最近の投稿
- Robustness Assessment of Static Structures for Efficient Object Handling
- ALLO: A Photorealistic Dataset and Data Generation Pipeline for Anomaly Detection During Robotic Proximity Operations in Lunar Orbit
- Impact-Aware Control using Time-Invariant Reference Spreading
- Planning by Simulation: Motion Planning with Learning-based Parallel Scenario Prediction for Autonomous Driving
- Off-Dynamics Reinforcement Learning via Domain Adaptation and Reward Augmented Imitation
-
最近のコメント
表示できるコメントはありません。 cs.AI (29723) cs.CL (22445) cs.CR (2308) cs.CV (36129) cs.LG (34535) cs.RO (17234) cs.SY (2649) eess.IV (4391) eess.SY (2643) stat.ML (4611)
「cs.FL」カテゴリーアーカイブ
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
要約 この研究では、信号時相論理 (STL) 仕様の制御問題を検討します。 従来 … 続きを読む
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
要約 信号時間論理 (STL) は、制御された動的システムが満たさなければならな … 続きを読む
G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer
要約 【タイトル】 「G-MATT: Molecular Grammar Tre … 続きを読む
Supervisory Control of Quantum Discrete Event Systems
要約 タイトル：量子ディスクリートイベントシステムの監視制御 要約： ̵ … 続きを読む
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
要約 タイトル: 線形時間論理に基づく最適性保証つきのLTL仕様からのサンプル効 … 続きを読む
Transformers Learn Shortcuts to Automata
要約 タイトル：Transformers Learn Shortcuts to … 続きを読む
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
要約 タイトル：LTL要件付きのサンプル効率の良いモデルフリー強化学習と最適性の … 続きを読む
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
要約 タイトル：優先度付き優先順位を持った確率的な時空論理目的に対する確率的な計 … 続きを読む
Demonstration Informed Specification Search
要約 タイトル：Demonstration Informed Specifica … 続きを読む
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
要約 タイトル：MLRegTest：正規言語の機械学習のためのベンチマーク 要約 … 続きを読む