The following pages link to Przemysław Daca (Q746784):
Displayed 6 items.
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Value iteration for long-run average reward in Markov decision processes (Q2151247) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Abstraction-driven Concolic Testing (Q2796059) (← links)
- Linear Distances between Markov Chains (Q4608672) (← links)
- Array Folds Logic (Q4633555) (← links)