Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.

Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia

Browse the full SETTA paper archive.