@inproceedings{MNB+7,
title = { Improved Learning for Stochastic Timed Models by State-Merging Algorithms },
author = {Mediouni, Braham Lotfi and Nouri, Ayoub and Bozga, Marius and Bensalem, Saddek},
year = {2017},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings},
pages = {178--193},
series = {Lecture Notes in Computer Science},
volume = {10227},
team = {RSD, axe_Mohytos},
}
