A Classification of Symbolic Transition Systems
<|reference_start|>A Classification of Symbolic Transition Systems: 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.<|reference_end|>
@article{henzinger2001a,
    title={A Classification of Symbolic Transition Systems},
    author={Thomas A. Henzinger, Rupak Majumdar and Jean-Francois Raskin},
    journal={arXiv preprint arXiv:cs/0101013},
    year={2001},
    number={UCB-CSD99/1086},
    archivePrefix={arXiv},
    eprint={cs/0101013},
    primaryClass={cs.LO}
}