会员服务
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
Arxiv
0+阅读 · 4月22日
Positional Properties in Temporal Logic
Arxiv
0+阅读 · 4月28日
Stratifying Reinforcement Learning with Signal Temporal Logic
Arxiv
0+阅读 · 4月6日
DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
Arxiv
0+阅读 · 4月20日
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
Arxiv
0+阅读 · 3月26日
Understanding Temporal Logic Consistency in Video-Language Models through Cross-Modal Attention Discriminability
Arxiv
0+阅读 · 3月23日
Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Arxiv
0+阅读 · 3月30日
UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
Arxiv
0+阅读 · 3月26日
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日
参考链接
微信扫码咨询专知VIP会员
Top