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

Mertens, Hannah

  1. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
    2024/01/19 by Hannah Mertens, Mertens, Hannah, Joost-Pieter Katoen +5 · 1 citation
    Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Probability (math.PR) #Simulation Techniques and Applications