Abstract
When used as part of a hybrid controller, finite-memory strategies synthesizedfrom linear-time temporal logic (LTL) specifications rely on an accurate......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
