Accession Number:

AD1105822

Title:

Statistical Model Checking for Swarms-Input Attribution

Corporate Author:

Carnegie Mellon University Pittsburgh United States

Report Date:

2016-01-01

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.

Descriptive Note:

Technical Report

Supplementary Note:

01 Jan 0001, 01 Jan 0001, DTIC Crawl

Pages:

0001

Descriptors:

Identifiers:

Subject Categories:

Communities Of Interest:

Modernization Areas:

Distribution Statement:

Approved For Public Release;

File Size:

0.33MB

View The Document