Vignudelli, Valeria

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. Monads and Quantitative Equational Theories for Nondeterminism and Probability
   2020/05/15 by Mio, Matteo, Vignudelli, Valeria · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)