vix.ing · top · new · best · stats · spec

Roland Guttenberg

  1. Exploring VASS Parameterised by Geometric Dimension
    2026/02/17 by Wojciech Czerwiński, Roland Guttenberg, Łukasz Orlikowski +2 · 1 voice · 1 citation
    Computer Science · #cs.FL
  2. Reachability in VASS Extended with Integer Counters
    2026/03/05 by Clotilde Bizière, Wojciech Czerwiński, Roland Guttenberg +5 · 1 voice
    Computer Science · #cs.FL