@inproceedings{himmiche:hal-01652140, TITLE = {{Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule}}, AUTHOR = {Himmiche, Sara and Aubry, Alexis and Marang{\'e}, Pascale and P{\'e}tin, Jean-Fran{\c c}ois and Duflot, Marie}, URL = {https://inria.hal.science/hal-01652140}, NOTE = {Published in Service Orientation in Holonic and Multi-Agent Manufacturing, Borangiu T., Trentesaux D., Thomas A., Cardin O. (eds). Studies in Computational Intelligence, vol 762, pp. 345-357, Springer, Cham}, BOOKTITLE = {{7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17}}, ADDRESS = {Nantes, France}, HAL_LOCAL_REFERENCE = {ISET}, YEAR = {2017}, MONTH = Oct, PDF = {https://inria.hal.science/hal-01652140/file/Himmiche_et_al_Sohoma2017_vf.pdf}, HAL_ID = {hal-01652140}, HAL_VERSION = {v1}, }