Vojtěch Řehák
- LTL to Büchi Automata Translation: Fast and More Deterministic
2012/01/03 by Tomáš Babiak, Babiak, Tomáš, Mojmír Křetínský +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO
- Measuring Performance of Continuous-Time Stochastic Processes using\n Timed Automata
2011/01/21 by Tomǎš Brázdil, Brázdil, Tomáš, Jan Krčál +7 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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)