×
考希·马利克;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼;鲁帕克·马朱姆达尔

有限状态抽象的合成。 （英语） Zbl 1482.93263号

IEEE传输。自动。控制 64，第6号，2629-2636（2019）.
评论：未发送评论稿。

引用于12文件

MSC公司：

93立方厘米 由常微分方程控制的控制/观测系统
03B44号 时间逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
93亿B50 合成问题
PDF格式BibTeX公司 XML格式引用
\textit{K.Mallik}等人，IEEE Trans。自动。控制64，No.6，2629--2636（2019；Zbl 1482.93263）
全文： 内政部