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

Leys, Tim

  1. The Geometry of Reachability in Continuous Vector Addition Systems with States
    2022/10/03 by Almagor, Shaull, Ghosh, Arka, Leys, Tim +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)