罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93B30型 93元65角 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: DOI程序 OA许可证
萨哈尔·莫哈杰拉尼;罗比·马利克;马丁·费比安 扩展有限状态机的组合非阻塞验证框架。 (英语) Zbl 1333.93169号 离散事件动态。系统。 26,第1期,33-84(2016).MSC公司:93元65角 93甲13 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohajerani}等人,离散事件Dyn。系统。26,第1号,33--84(2016;Zbl 1333.93169) 全文: DOI程序 链接
雨果·弗洛达尔;罗比·马利克;马丁·费比安;克努特·奥凯森 使用监督等效的最大允许监督的合成。 (英语) Zbl 1125.93018号 离散事件动态。系统。 17,第4期,475-504(2007).MSC公司:93亿B50 93C55 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Flordal}等人,离散事件动力学。系统。17,第4号,475--504(2007;Zbl 1125.93018) 全文: DOI程序 链接