-
最近の投稿
- 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」カテゴリーアーカイブ
Normal forms in Virus Machines
要約 現在の研究では、ウイルス マシン (略して VM) の計算能力をさらに研究 … 続きを読む
What Formal Languages Can Transformers Express? A Survey
要約 自然言語処理においてトランスフォーマーが注目を集めるようになり、一部の研究 … 続きを読む
Tractable Offline Learning of Regular Decision Processes
要約 この研究では、通常の意思決定プロセス (RDP) と呼ばれる非マルコフ環境 … 続きを読む
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
要約 構文的に協調安全な線形時相論理 (sc-LTL) などの時相論理仕様を使用 … 続きを読む
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
要約 Large Language Model (LLM) の最近の進歩により、 … 続きを読む
Automata-based constraints for language model decoding
要約 言語モデル (LM) は、多くの場合、何らかの形式言語で文字列を生成するこ … 続きを読む