Andrew Ryzhikov
- Reachability in Fixed VASS: Expressiveness and Lower Bounds
2023/10/25 by Andrei Draghici, Christoph Haase, Draghici, Andrei +3 · 1 citation
Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Distributed systems and fault tolerance
- Subset Synchronization in Monotonic Automata
2017/03/18 by Andrew Ryzhikov, Anton Shemyakov, Ryzhikov, Andrew +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #semigroups and automata theory