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

Vahanwala, Mihir

  1. Model Checking Markov Chains as Distribution Transformers
    2024/06/21 by Rajab Aghamov, Christel Baier, Aghamov, Rajab +11 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)