位置：成果数据库 > 期刊 > 期刊详情页
Efficient controller synthesis for a fragment of \(\hbox {MTL}_{0, \infty }\)
  • ISSN号：0001-5903
  • 期刊名称：Acta Informatica
  • 时间：2013
  • 页码：-
  • 相关项目：信息物理融合系统的基础研究
作者： Peter Bulychev|Alexandre David|Kim G. Larsen|Li Guangyuan|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 10 会议论文 55 获奖 1 专利 1
同项目期刊论文
Algebraic Approach to Linking the Semantics of Web Services
Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Inter
An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking
三值逻辑证明系统及正例与反例的提取
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Lang