位置：成果数据库 > 会议 > 会议详情页
Satisfaction of temporal logic by control systems and finite abstractions
  • 所属机构名称：南京航空航天大学
  • 会议名称：7th IFAC Symposium on Robust Control Design
  • 成果类型：会议
  • 相关项目：余代数框架下的近似行为等价理论与模态逻辑研究
作者： Jinjin Zhang|Zhaohui Zhu|Lisong Wang|
同会议论文项目
余代数框架下的近似行为等价理论与模态逻辑研究
期刊论文 4 会议论文 1
同项目会议论文