Daca, Przemysław
- Array Folds Logic
2016/03/22 by Przemysław Daca, Thomas A. Henzinger, Daca, Przemysław +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Faster Statistical Model Checking for Unbounded Temporal Properties
2015/04/22 by Przemysław Daca, Daca, Przemysław, Thomas A. Henzinger +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research
- Linear Distances between Markov Chains
2016/04/30 by Daca, Przemysław, Henzinger, Thomas A., Křetínský, Jan +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)