1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…