Przemysław Daca
- 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
- Value Iteration for Long-run Average Reward in Markov Decision Processes
2017/05/05 by Pranav Ashok, Ashok, Pranav, Krishnendu Chatterjee +7 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #Bayesian Modeling and Causal Inference #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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 Przemysław Daca, Thomas A. Henzinger, Daca, Przemysław +5 · 1 citation
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #semigroups and automata theory