Tricks with PRISM: Probabilistic Model Checking on Structured Models PDF
David Musliner, SIFT

12/18/2013, 10:00pm, GHC 9115


I'll give a brief overview of the PRISM probabilistic model checking system, describe a style of structured model we developed for cyber physical systems, and describe extensions we developed to form PRISMATIC, a tool that includes statistical model checking, culprit identification, and other tools to help system designers.


Dr. David Musliner is a Senior Principal Research Scientist at Smart Information Flow Technologies (SIFT), LLC. He joined SIFT in 2008. Before that he worked at Honeywell Labs. He completed his 1993 PhD in Computer Science/Artificial Intelligence at the University of Michigan, Ann Arbor, and then was a UMIACS postdoctoral fellow, lecturer and Project Director at the University of Maryland Autonomous Mobile Robots Lab.


Content for class "clear" Goes Here
nsfSupported by an Expeditions in Computing award from the National Science Foundation