TitleSystem Model Formulation Using Markov Chains
Publication TypeReport
Year of Publication2014
AuthorsSnodgrass, S, Aha, DW
Series TitleNCARAI Technical Note
Document NumberAIC-14-170
InstitutionNaval Research Laboratory, Navy Center for Applied Research in Artificial Intelligence
CityWashington, DC
Abstract

Creating formal models for systems manually is time consuming and difficult. Automating the generation and verification of these formal models can reduce the overhead of developing the models. In this paper we propose an approach (MC-MC) to verifying and generating portions of the formal model using Markov chains.

Refereed DesignationNon-Refereed
Full Text
pdf: 
https://www.nrl.navy.mil/itd/aic/sites/www.nrl.navy.mil.itd.aic/files/pdfs/Snodgrass-2014-NCARAI-TN.pdf
NRL Publication Release Number: 
14-1231-3214