会员服务
Aspects of Coherence in Dependence Logic
Arxiv
0+阅读 · 5月29日
Guarded Negation Transitive Closure Logic
Arxiv
0+阅读 · 5月16日
Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
Arxiv
0+阅读 · 5月14日
Global Warming Has Been Accelerating Since At Least 1990
Arxiv
0+阅读 · 6月2日
Computational Complexity of Model-Checking Quantum Pushdown Systems
Arxiv
0+阅读 · 5月8日
iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
Arxiv
0+阅读 · 5月5日
The complexity of downward closures of indexed languages
Arxiv
0+阅读 · 5月27日
The Complexity of Asynchronous HyperLTL
Arxiv
0+阅读 · 6月4日
Model Checking for Regressions Based on Weighted Residual Processes with Diverging Number of Predictors
Arxiv
0+阅读 · 4月16日
Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
Arxiv
0+阅读 · 4月1日
Plagiarism or Productivity? Students Moral Disengagement and Behavioral Intentions to Use ChatGPT in Academic Writing
Arxiv
0+阅读 · 3月20日
Maximum entropy based testing in network models: ERGMs and constrained optimization
Arxiv
0+阅读 · 3月26日
On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
Arxiv
0+阅读 · 4月2日
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
Arxiv
0+阅读 · 4月24日
Group Permutation Testing in Linear Model: Sharp Validity, Power Improvement, and Extension Beyond Exchangeability
Arxiv
0+阅读 · 4月17日
参考链接
微信扫码咨询专知VIP会员
Top