Przemys{\l}aw Daca

Identifiers

• name variant Przemys{\l}aw Daca 0.60 · backfill

Papers (4)

1. Linear Distances between Markov Chains cs.FL · 2016 · author #1
2. Array Folds Logic cs.FL · 2016 · author #1
3. Abstraction-driven Concolic Testing cs.LO · 2015 · author #1
4. Faster Statistical Model Checking for Unbounded Temporal Properties cs.LO · 2015 · author #1

Mentions

• 1511.02615 #1 · backfill · confidence 0.70 Przemys{\l}aw Daca
• 1504.05739 #1 · backfill · confidence 0.70 Przemys{\l}aw Daca

Frequent Coauthors

• Thomas A. Henzinger 4 shared papers
• Jan K\v{r}et\'insk\'y 2 shared papers
• Tatjana Petrov 2 shared papers
• Andrey Kupriyanov 1 shared papers
• Ashutosh Gupta 1 shared papers