会员服务
Neuro-Symbolic Predictive Process Monitoring
Arxiv
0+阅读 · 5月29日
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Arxiv
0+阅读 · 6月3日
Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."
Arxiv
0+阅读 · 5月29日
NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
Arxiv
0+阅读 · 5月20日
SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
Arxiv
0+阅读 · 5月20日
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
Arxiv
0+阅读 · 5月18日
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Arxiv
0+阅读 · 6月6日
Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
Arxiv
0+阅读 · 5月8日
Barrier Certificates for Uncertain Temporal Specifications
Arxiv
0+阅读 · 5月10日
iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
Arxiv
0+阅读 · 5月5日
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
Arxiv
0+阅读 · 6月11日
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日
参考链接
微信扫码咨询专知VIP会员
Top