会员服务
Road Traffic Law Adaptive Decision-making for Self-Driving Vehicles
Arxiv
0+阅读 · 2023年4月19日
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Arxiv
0+阅读 · 2023年4月14日
Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning
Arxiv
0+阅读 · 2023年4月13日
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
Arxiv
0+阅读 · 2023年4月9日
Automated Formation Control Synthesis from Temporal Logic Specifications
Arxiv
0+阅读 · 2023年4月5日
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月30日
HyperLTL Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月29日
A first-order logic characterization of safety and co-safety languages
Arxiv
0+阅读 · 2023年3月28日
参考链接
微信扫码咨询专知VIP会员
Top