Travelled to:1 × Portugal
Collaborated with:∅
Talks about:algorithm (1) symbol (1) markov (1) optim (1) chain (1) lump (1)
Person: Salem Derisavi
DBLP: Derisavi:Salem
Contributed to:
Wrote 1 papers:
- TACAS-2007-Derisavi #algorithm #markov
- A Symbolic Algorithm for Optimal Markov Chain Lumping (SD), pp. 139–154.












