Travelled to:1 × Austria
1 × Canada
1 × USA
Collaborated with:T.A.Henzinger K.Chatterjee D.Nickovic J.Kretínský M.Chmelik A.Kupriyanov W.Krenn N.Benes P.Ashok T.Meggendorfer
Talks about:composit (2) test (2) ioco (2) probabilist (1) process (1) complet (1) analysi (1) theori (1) system (1) specif (1)
Person: Przemyslaw Daca
DBLP: Daca:Przemyslaw
Contributed to:
2015
2014
201420162017Wrote 5 papers:
- CBSE-2015-BenesDHKN #composition #testing
- Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
- CAV-2014-ChatterjeeCD #analysis #probability
- CEGAR for Qualitative Analysis of Probabilistic Systems (KC, MC, PD), pp. 473–490.
- ICST-2014-DacaHKN #composition #specification #testing
- Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
- CAV-2016-DacaHK #array #logic
- Array Folds Logic (PD, TAH, AK), pp. 230–248.
- CAV-2017-AshokCDKM #markov #process
- Value Iteration for Long-Run Average Reward in Markov Decision Processes (PA, KC, PD, JK, TM), pp. 201–221.