White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining.

Roberto Casaluce, Max Tschaikowski, Andrea Vandin

Browse the full ISoLA paper archive.