A Classification of Symbolic Transition Systems
Henzinger, Thomas A. · Majumdar, Rupak · Raskin, Jean-Francois
Original · EN
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 examples from hybrid systems.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.