} } }
Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date


Statistical Model Checking for Swarms

  • October 2016
  • By Jeffrey Hansen
  • Input Attribution
  • Publisher: Software Engineering Institute
  • Abstract

    Statistical Model Checking (SMC) provides an estimate on the probability 𝑃[ℳ⊨Φ] that a predicate Φ in a model ℳ is satisfied; 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.

  • Download

Part of a Collection

SEI 2016 Research Review