自动机最小化相关硕士博士期刊学术论文

程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......