31 citations · 56 across the 19 of their papers we have counts for
1 paper · 1 filter
Petr Jancar, Petr Osicka, Zdenek Sawa
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for simulation preorder on the class of succinct one-counter nets (i.e., one-counter automata with…