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

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
NRL Publication Release Number: