会员服务
Learning Robust and Correct Controllers Guided by Feasibility-Aware Signal Temporal Logic via BarrierNet
Arxiv
0+阅读 · 12月16日
A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
Arxiv
0+阅读 · 11月20日
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
Arxiv
0+阅读 · 12月9日
Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
Arxiv
0+阅读 · 12月18日
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Arxiv
0+阅读 · 11月27日
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Arxiv
0+阅读 · 11月10日
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
Arxiv
0+阅读 · 11月4日
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Arxiv
0+阅读 · 2023年4月18日
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
Arxiv
0+阅读 · 2023年4月4日
参考链接
微信扫码咨询专知VIP会员
Top