机译:概率系统的反例引导诱导合成
机译:通过学习实现马尔可夫决策过程的允许监督者综合
机译:SCLTL约束下部分观察到的离散事件系统的在线合成
机译:通过学习针对概率多智能体系统的反例指导的分布式宽松监督者综合
机译:离散事件系统的通信分散管理器的综合及其在通信协议综合中的应用。
机译:统计和概率分析。分析和表示的新工具:XS:通过集成图形统计系统关系数据库系统和专家系统外壳构建的线性回归分析和综合系统
机译:在SCLTL约束下部分观察到的离散事件系统的允许监督员在线合成