There are 102 posts in total till now.

2025

Jul 01, 2025

25.9 Reachability in Low-Dimensional VASS

Jul 01, 2025

25.8 Semilinearity of 2-BVASS backward reachability set

Jul 01, 2025

25.7 Strong subgame perfect equilibria

Jul 01, 2025

25.6 Fine-grained complexity of language emptiness for deterministic PDA

Jul 01, 2025

25.5 Commutative polynomial automata series

Jul 01, 2025

25.4 Efficient LRS evaluation

Jul 01, 2025

25.3 Relative degree for rational series

Jul 01, 2025

25.2 Permissive strategies for reachability games

Jul 01, 2025

25.1 Complexity of generalised reachability games with target sets of size 2