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

Schupp, Stefan

  1. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
    2023/04/28 by Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika +1 · 2 citations
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)