Mikkel Larsen Pedersen

Conference papers

5. B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, and A. Wąsowski (2011). APAC: a tool for reasoning about Abstract Probabilistic Automata
   Accepted at QEST'11 (EE)
4. B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher, and A. Wąsowski (2011). New Results on Abstract Probabilistic Automata
   Accepted at ACSD'11 (EE)
3. B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, and A. Wąsowski (2011). Decision Problems for Interval Markov Chains
   Accepted at LATA'11 (EE)
2. B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher, and A. Wąsowski (2010). Abstract Probabilistic Automata
   Accepted at VMCAI'11 (EE)
1. B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen and A. Wąsowski (2010). Compositional Design Methodology with Constraint Markov Chains
   Accepted at QEST'10 (EE)

Journal papers

3. B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen and A. Wąsowski (2011). New Results for Constraint Markov Chains
   Accepted in PEVA (to appear)
2. B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen and A. Wąsowski (2011). Consistency and Refinement for Interval Markov Chains
   Accepted in JLAP (to appear)
1. B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen and A. Wąsowski (2010). Constraint Markov Chains
   Accepted in TCS (EE)

Workshop contributions

2. B. Delahaye, K. G. Larsen, A. Legay and M. L. Pedersen (2011). Stuttering in Abstract Probabilistic Automata
   Extended abstract accepted at NWPT'11
1. B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, and A. Wąsowski (2010). Decision Problems for Interval Markov Chains
   Extended abstract accepted at NWPT'10

Others

2. M. L. Pedersen (2011). Specification Theories for Probabilistic Systems PhD thesis
1. A. L. Juel, M. L. Pedersen (2008). Ramsey Theory for Graphs Master thesis