CEGAR for Qualitative Analysis of Probabilistic Systems. - Krishnendu Chatterjee; Martin Chmelik; Przemyslaw Daca (CAV, 2014)

Compositional Specifications for ioco Testing. - Przemyslaw Daca; Thomas A. Henzinger; Willibald Krenn; Dejan Nickovic (ICST, 2014)

Complete Composition Operators for IOCO-Testing Theory. - Nikola Benes; Przemyslaw Daca; Thomas A. Henzinger; Jan Kretínský; Dejan Nickovic (CBSE, 2015)

CEGAR for compositional analysis of qualitative properties in Markov decision processes. - Krishnendu Chatterjee; Martin Chmelik; Przemyslaw Daca (Formal Methods Syst. Des., 2015)

Array Folds Logic. - Przemyslaw Daca; Thomas A. Henzinger; Andrey Kupriyanov (CAV (2), 2016)

Linear Distances between Markov Chains. - Przemyslaw Daca; Thomas A. Henzinger; Jan Kretínský; Tatjana Petrov (CONCUR, 2016)

Abstraction-driven Concolic Testing. - Przemyslaw Daca; Ashutosh Gupta 001; Thomas A. Henzinger (VMCAI, 2016)

Value Iteration for Long-Run Average Reward in Markov Decision Processes. - Pranav Ashok; Krishnendu Chatterjee; Przemyslaw Daca; Jan Kretínský; Tobias Meggendorfer (CAV (1), 2017)

Faster Statistical Model Checking for Unbounded Temporal Properties. - Przemyslaw Daca; Thomas A. Henzinger; Jan Kretínský; Tatjana Petrov (ACM Trans. Comput. Log., 2017)

Statistical Model Checking: Black or White? - Pranav Ashok; Przemyslaw Daca; Jan Kretínský; Maximilian Weininger (ISoLA (1), 2020)