Kučera, Antonín

1. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
   2019/07/25 by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín +2 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
2. 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