2 citations · 9 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Traversing automata with current state uncertainty under LTL constraints
Andrew Ryzhikov, Petra Wolf
In this paper, we consider a problem which we call LTL model checking on paths: given a DFA and a formula in LTL on finite traces, does there exist a word …
cs.FL2023
Reachability in Fixed VASS: Expressiveness and Lower Bounds
Andrei Draghici, Christoph Haase, Andrew Ryzhikov
The recent years have seen remarkable progress in establishing the complexity of the reachability problem for vector addition systems with states (VASS), equivalently known as Petr…