Travelled to:1 × Spain
1 × USA
Collaborated with:B.Delahaye K.G.Larsen A.Legay A.Wasowski J.Katoen F.Sher
Talks about:probabilist (1) automata (1) abstract (1) problem (1) markov (1) interv (1) decis (1) chain (1)
Person: Mikkel L. Pedersen
DBLP: Pedersen:Mikkel_L=
Contributed to:
2011
2011Wrote 2 papers:
- LATA-2011-DelahayeLLPW #markov #problem
- Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
- VMCAI-2011-DelahayeKLLPSW #automaton #probability
- Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.