会员服务
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
0+阅读 · 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日
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
Arxiv
0+阅读 · 2月5日
Online Monitoring of Metric Temporal Logic using Sequential Networks
Arxiv
0+阅读 · 2月13日
DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications
Arxiv
0+阅读 · 2月3日
LPrL: An Asynchronous Linear Time Hyper Logic
Arxiv
0+阅读 · 1月20日
On the Expressiveness of State Space Models via Temporal Logics
Arxiv
0+阅读 · 1月27日
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Arxiv
0+阅读 · 1月21日
参考链接
微信扫码咨询专知VIP会员
Top