Przemyslaw Daca

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 11

Top Topics

Markov Decision Process

Qualitative Analysis

Epistemic Logic

Formal Specification

Top Venues

ACM Trans. Comput. Log.

Publications

Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
Statistical Model Checking: Black or White? ISoLA (1) (2020)
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
Compositional Specifications for ioco Testing. CoRR (2019)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18 (2) (2017)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR (2017)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) (2017)
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
Array Folds Logic. CAV (2) (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Linear Distances between Markov Chains. CONCUR (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Linear Distances between Markov Chains. CoRR (2016)
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
Array Folds Logic. CoRR (2016)
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
Abstraction-driven Concolic Testing. VMCAI (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR (2015)
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
Abstraction-driven Concolic Testing. CoRR (2015)
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
Complete Composition Operators for IOCO-Testing Theory. CBSE (2015)
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods Syst. Des. 47 (2) (2015)
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
CEGAR for Qualitative Analysis of Probabilistic Systems. CoRR (2014)
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
Compositional Specifications for ioco Testing. ICST (2014)
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
CEGAR for Qualitative Analysis of Probabilistic Systems. CAV (2014)