School of Electrical Engineering and Computer Science Washington State University, Pullman, WA 99164, USA;
机译:离散定时自动机的Presburger活动性验证
机译:安全性和生命力约束下的离散时间混合自动机的最优控制
机译:Presburger算法的自动机大小的界线
机译:关于离散定时自动机的预爆炸活力
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:使用精挑细选的专家信息进行粗数据推断的灵敏度分析:艾滋病与静脉经验(ALIVE)研究的关联被删减的离散事件时间说明
机译:离散定时自动机的Presburger活动性验证