Verscht, Lena

1. A Calculus for Amortized Expected Runtimes
   2022/11/23 by Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter +2 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)