Schütze, Lia
- Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
2023/05/02 by Künnemann, Marvin, Mazowiecki, Filip, Schütze, Lia +2 · 4 citations
#Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Reachability in Bidirected Pushdown VASS
2022/04/25 by Ganardi, Moses, Majumdar, Rupak, Pavlogiannis, Andreas +2 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)