Alternating Büchi Automata as Abstractions

摘要：

The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for reactive systems verification. This paper studies the question of application simulation relations for alternating Büchi automata for the reduction of an infinite-state system into a finite-state system, and showing several benefits.

作者: Zheng. Quan. Xu Zhi. Bin. Yuan

作者单位: Department of Computer Science and Technology Huazhong University of Science Technology Wuhan, 430074

会议类型: 国际会议

会议名称: 第三届国际脉冲动力系统及应用学术会议

会议地点: 青岛

会议语种:英文

在线出版日期: 2006-07-21（万方平台首次上网日期，不代表论文的发表时间）