Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot-Kremer, Jean-François Pétin. Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule. In Theodor Borangiu, Damien Trentesaux, André Thomas, Olivier Cardin, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2017, Nantes, France, October 19-20, 2017. Volume 762 of Studies in Computational Intelligence, pages 345-357, Springer, 2017. [doi]
Abstract is missing.