Matteo Mio

1. Combining nondeterminism, probability, and termination: equational and metric reasoning
   2020/12/01 by Matteo Mio, Mio, Matteo, Ralph Sarkis +3 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Łukasiewicz μ-calculus
   2015/10/03 by Matteo Mio, Alex Simpson, Mio, Matteo +1 · 1 citation
   Mathematics · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Probability and Statistical Research