Przemysław Daca

Available identifiers

zbMath Open daca.przemyslawMaRDI QIDQ746784

List of research outcomes

Publication	Date of Publication	Type
Value iteration for long-run average reward in Markov decision processes	2022-07-01	Paper
Faster statistical model checking for unbounded temporal properties	2019-09-17	Paper
Array Folds Logic	2019-05-03	Paper
Linear Distances between Markov Chains	2018-03-21	Paper
Faster statistical model checking for unbounded temporal properties	2017-07-13	Paper
Abstraction-driven Concolic Testing	2016-03-23	Paper
CEGAR for compositional analysis of qualitative properties in Markov decision processes	2015-10-20	Paper

Research outcomes over time

This page was built for person: Przemysław Daca