Accession Number:

AD1105822

Title:

Statistical Model Checking for Swarms-Input Attribution

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Pittsburgh United States

Personal Author(s):

Report Date:

2016-01-01

Pagination or Media Count:

1.0

Abstract:

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.

Descriptors:

• machine servers (computer hardware)
• control simulators
• machine learning
• random variables
• probability
• polynomials

Subject Categories:

• Statistics and Probability

Distribution Statement:

APPROVED FOR PUBLIC RELEASE