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

Rajab Aghamov

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