Abstract
In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objec......
小提示:本篇文献需要登录阅读全文,点击跳转登录