Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet. Towards sampling and simulation-based analysis of featured weighted automata. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 61-64, IEEE / ACM, 2019. [doi]
Abstract is missing.