Towards sampling and simulation-based analysis of featured weighted automata.

Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet

Browse the full ICSE paper archive.