会员服务
Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
Arxiv
0+阅读 · 2月10日
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
Arxiv
0+阅读 · 2月6日
LPrL: An Asynchronous Linear Time Hyper Logic
Arxiv
0+阅读 · 1月20日
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Arxiv
0+阅读 · 1月21日
LTL$_f$ Learning Meets Boolean Set Cover
Arxiv
0+阅读 · 1月12日
The Temporal Logic Synthesis Format TLSF v1.2
Arxiv
0+阅读 · 1月26日
Expressive Temporal Specifications for Reward Monitoring
Arxiv
0+阅读 · 2025年12月29日
Expressive Temporal Specifications for Reward Monitoring
Arxiv
0+阅读 · 2025年12月22日
From Interpolating Formulas to Separating Languages and Back Again
Arxiv
0+阅读 · 2025年12月3日
Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
Arxiv
0+阅读 · 2025年12月18日
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
Arxiv
0+阅读 · 2025年11月24日
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top