Probabilistic Access Policies with Automated Reasoning Support.

Shaowei Zhu, Yunbo Zhang

Browse the full CAV paper archive.