Travelled to:1 × Denmark
1 × Germany
1 × Italy
Collaborated with:S.Peyronnet J.Oudinet A.Denise M.Gaudel T.Hérault F.Magniette S.Laplante F.Magniez M.d.Rougemont S.Gouraud
Talks about:model (4) check (3) probabilist (2) approxim (2) properti (1) approach (1) abstract (1) uniform (1) process (1) coverag (1)
Person: Richard Lassaigne
DBLP: Lassaigne:Richard
Contributed to:
2012
2011
2008
2004
2002Wrote 5 papers:
- SAC-2012-LassaigneP #approximate #markov #process #scalability #verification
- Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
- FASE-2011-OudinetDGLP #model checking #monte carlo
- Uniform Monte-Carlo Model Checking (JO, AD, MCG, RL, SP), pp. 127–140.
- MBT-2008-GaudelDGLOP #modelling #random
- Coverage-biased Random Exploration of Models (MCG, AD, SDG, RL, JO, SP), pp. 3–14.
- VMCAI-2004-HeraultLMP #approximate #model checking #probability
- Approximate Probabilistic Model Checking (TH, RL, FM, SP), pp. 73–84.
- LICS-2002-LaplanteLMPR #abstraction #approach #model checking #probability #testing
- Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing (SL, RL, FM, SP, MdR), pp. 30–39.