Antonı́n Kučera
- The Satisfiability Problem for a Quantitative Fragment of PCTL
2021/07/08 by Miroslav Chodil, Antonı́n Kučera, Chodil, Miroslav +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
- Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
2022/02/02 by David Klas̆ka, Klaška, David, Antonı́n Kučera +5 · 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)