会员服务
No-Regret Learning in Stackelberg Security Games with an Unknown, Bounded Set of Attacker Types
Arxiv
0+阅读 · 10月14日
Asynchronous Indulgent Gathering of Opaque Robots
Arxiv
0+阅读 · 10月15日
Graphs with Bounded Push-Pop Walk Orderings
Arxiv
0+阅读 · 10月14日
Non-additive symmetric rank-metric codes
Arxiv
0+阅读 · 10月13日
A Factor-Two Lower Bound for Complementing Two-Way Deterministic Finite Automata
Arxiv
0+阅读 · 10月10日
An Infinite BART model
Arxiv
0+阅读 · 10月13日
An upper bound for the three-dimensional moving sofa problem in a snaky corridor
Arxiv
0+阅读 · 10月5日
Puncturing-inclusion constructions of optimal Ferrers diagram rank-metric codes using semifield codes
Arxiv
0+阅读 · 10月13日
Quantitative Verification of Infinite-State Networks
Arxiv
0+阅读 · 10月9日
Uniqueness and non-uniqueness of deriving transformations
Arxiv
0+阅读 · 10月10日
Linear codes over a mixed-alphabet ring and their Gray images with applications to projective and locally repairable codes
Arxiv
0+阅读 · 10月9日
Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems
Arxiv
0+阅读 · 10月12日
A Topological Framework for Finite Behavioural Observations and Verification
Arxiv
0+阅读 · 10月11日
Compact Quantitative Equational Theories as Monad Restrictions
Arxiv
0+阅读 · 10月9日
The Complexity of Finding Additional Solutions
Arxiv
0+阅读 · 10月8日
参考链接
微信扫码咨询专知VIP会员
Top