Abstract
Runtime enforcement (RE) is a technique to ensure that the (untrustworthy) output of a black-box system satisfies some desired properties. In RE, the ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
