会员服务
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime
Arxiv
0+阅读 · 2023年4月18日
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
Arxiv
0+阅读 · 2023年4月14日
Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
Arxiv
0+阅读 · 2023年4月12日
参考链接
微信扫码咨询专知VIP会员
Top