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

Miroslav Chodil

  1. The Satisfiability Problem for a Quantitative Fragment of PCTL
    2021/07/08 by Miroslav Chodil, Chodil, Miroslav, Antonı́n Kučera +1 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies