Statistical Model Checking for Swarms-Input Attribution
Carnegie Mellon University Pittsburgh United States
Input Attribution The Why of SMC Statistical Model Checking SMC provides an estimate on the probability that a predicate in a model is satised, but does not address why a particular result was obtained. The goal of Input Attribution IA is to use machine learning techniques to synthesize an explanation for an SMC result in terms of the inputs. IA for SMC can be thought of as analogous to the counter-example in traditional model checking.