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

Xie Li Taolue Chen Zhilin Wu Mingji Xia

Published in: SETTA (2020)

Keyphrases

data sets
multiscale
cellular automata
finite automata
lie algebra
website
image representation
model checking