会员服务
Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
Arxiv
0+阅读 · 2月22日
Temporal-Logic-Aware Frontier-Based Exploration
Arxiv
0+阅读 · 2月21日
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
Arxiv
0+阅读 · 2月20日
Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
Arxiv
0+阅读 · 3月1日
Arbitrary-arity Tree Automata and QCTL
Arxiv
0+阅读 · 2月26日
Ask, Reason, Assist: Robot Collaboration via Natural Language and Temporal Logic
Arxiv
0+阅读 · 3月5日
RRT$^η$: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
Arxiv
0+阅读 · 2月18日
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Arxiv
0+阅读 · 2月19日
On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
Arxiv
0+阅读 · 2月11日
Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
Arxiv
0+阅读 · 2月10日
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
Arxiv
0+阅读 · 2月11日
Common Knowledge Always, Forever
Arxiv
0+阅读 · 2月14日
LLM-Grounded Dynamic Task Planning with Hierarchical Temporal Logic for Human-Aware Multi-Robot Collaboration
Arxiv
1+阅读 · 2月10日
Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
Arxiv
0+阅读 · 2月15日
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
Arxiv
0+阅读 · 2月6日
参考链接
微信扫码咨询专知VIP会员
Top