Antonín Kučera

1. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
   2019/07/25 by Tomáš Brázdil, Brázdil, Tomáš, Krishnendu Chatterjee +7 · 2 citations
   Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.CC #cs.FL
2. MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
   2015/01/13 by Tomáš Brázdil, Krishnendu Chatterjee, Brázdil, Tomáš +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
3. The Satisfiability Problem for a Quantitative Fragment of PCTL
   2021/07/08 by Miroslav Chodil, Antonín Kučera, Chodil, Miroslav +2 · 2 citations
   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 #cs.LO
4. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
   2022/02/02 by David Klas̆ka, David Klaška, Antonín Kučera +7 · 1 citation
   Computer Science · Engineering · #68T42 #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Guidance and Control Systems #I.2.9 #Infrastructure Resilience and Vulnerability Analysis #Multiagent Systems (cs.MA) #acm:68T42 #cs.MA #msc:68T42