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.