会员服务
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
Arxiv
0+阅读 · 1月7日
Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
Arxiv
0+阅读 · 1月6日
Biochemical Computing Mode for Sequential Logic
Arxiv
0+阅读 · 2025年12月23日
LTLBench: Towards Benchmarks for Evaluating Temporal Logic Reasoning in Large Language Models
Arxiv
0+阅读 · 2025年12月30日
Expressive Temporal Specifications for Reward Monitoring
Arxiv
0+阅读 · 2025年12月29日
Expressive Temporal Specifications for Reward Monitoring
Arxiv
0+阅读 · 2025年12月22日
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
Arxiv
0+阅读 · 2025年12月21日
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
Arxiv
0+阅读 · 2025年12月22日
Learning Robust and Correct Controllers Guided by Feasibility-Aware Signal Temporal Logic via BarrierNet
Arxiv
0+阅读 · 2025年12月16日
A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
Arxiv
0+阅读 · 2025年11月20日
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
Arxiv
0+阅读 · 2025年12月9日
Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
Arxiv
0+阅读 · 2025年12月18日
Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Arxiv
0+阅读 · 2025年11月27日
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Arxiv
0+阅读 · 2025年11月10日
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
Arxiv
0+阅读 · 2025年11月4日
参考链接
微信扫码咨询专知VIP会员
Top