A Classification of Symbolic Transition Systems

Thomas A. Henzinger, Rupak Majumdar, Jean-Francois Raskin

We define five increasingly comprehensive classes of infinite-state systems, called STS1--5, whose state spaces have finitary structure. For four of these classes, we provide examp…